|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A declarative state transition system |
Foster, Ian |
1991 |
10 | 1 |
p. 45-67 23 p. |
artikel |
|
| 2 | Definite-clause set grammars: a formalism for problem solving |
Tanaka, Takushi |
1991 |
10 | 1 |
p. 1-17 17 p. |
artikel |
|
| 3 | Editorial board |
1991 |
10 | 1 |
p. IFC- 1 p. |
artikel |
||
| 4 | Enhancing unification in PROLOG through clause indexing |
Colomb, Robert M. |
1991 |
10 | 1 |
p. 23-44 22 p. |
artikel |
|
| 5 | On-line algorithms for polynomially solvable satisfiability problems |
Ausiello, Giorgio |
1991 |
10 | 1 |
p. 69-90 22 p. |
artikel |
|
| 6 | Unsolvable problems for SLDNF resolution |
Shepherdson, John C. |
1991 |
10 | 1 |
p. 19-22 4 p. |
artikel |
6 gevonden resultaten