|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A high-performance low risc machine for logic programming |
Mills, J.W |
1989 |
6 | 1-2 |
p. 179-212 34 p. |
artikel |
|
| 2 | A logical analysis of modules in logic programming |
Miller, Dale |
1989 |
6 | 1-2 |
p. 79-108 30 p. |
artikel |
|
| 3 | An implementation of narrowing |
Josephson, Alan |
1989 |
6 | 1-2 |
p. 57-77 21 p. |
artikel |
|
| 4 | Compiling control |
Bruynooghe, Maurice |
1989 |
6 | 1-2 |
p. 135-162 28 p. |
artikel |
|
| 5 | Editorial Board |
1989 |
6 | 1-2 |
p. IFC- 1 p. |
artikel |
||
| 6 | Extending SLD resolution to equational horn clauses using E-unification |
Gallier, Jean H |
1989 |
6 | 1-2 |
p. 3-43 41 p. |
artikel |
|
| 7 | Guest editors |
Haridi, Seif |
1989 |
6 | 1-2 |
p. 1-2 2 p. |
artikel |
|
| 8 | Metainterpreters for expert system construction |
Sterling, Leon |
1989 |
6 | 1-2 |
p. 163-178 16 p. |
artikel |
|
| 9 | Negation as failure using tight derivations for general logic programs |
Van Gelder, Allen |
1989 |
6 | 1-2 |
p. 109-133 25 p. |
artikel |
|
| 10 | Prolog: subsumption of equality axioms by the homogeneous form |
Elcock, E.W. |
1989 |
6 | 1-2 |
p. 45-56 12 p. |
artikel |
10 gevonden resultaten