|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Associative concurrent evaluation of logic programs |
Nakamura, Katsuhiko |
1984 |
1 | 4 |
p. 285-295 11 p. |
artikel |
|
| 2 | Author index to volume 1 |
1984 |
1 | 4 |
p. 357- 1 p. |
artikel |
||
| 3 | Equality, types, modules, and (why not?) generics for logic programming |
1984 |
1 | 4 |
p. 356- 1 p. |
artikel |
||
| 4 | Heterogeneous SLD resolution |
Naish, Lee |
1984 |
1 | 4 |
p. 297-303 7 p. |
artikel |
|
| 5 | N-Prolog: An extension of Prolog with hypothetical implications. I. |
Gabbay, D.M. |
1984 |
1 | 4 |
p. 319-355 37 p. |
artikel |
|
| 6 | Title index to volume 1 |
1984 |
1 | 4 |
p. 358- 1 p. |
artikel |
||
| 7 | Transformations of logic programs |
Štěpánková, Olga |
1984 |
1 | 4 |
p. 305-318 14 p. |
artikel |
7 gevonden resultaten