|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A procedural semantics for well-founded negation in logic programs |
Ross, Kenneth A. |
1992 |
13 | 1 |
p. 1-22 22 p. |
artikel |
|
| 2 | A simple code improvement scheme for prolog |
Debray, Saumya K. |
1992 |
13 | 1 |
p. 57-88 32 p. |
artikel |
|
| 3 | Deterministic and nondeterministic computation, and horn programs, on abstract data types |
Tucker, J.V. |
1992 |
13 | 1 |
p. 23-55 33 p. |
artikel |
|
| 4 | Editorial Board |
1992 |
13 | 1 |
p. IFC- 1 p. |
artikel |
||
| 5 | Short note: procedural semantics and negative information of elementary formal system |
Yamamoto, Akihiro |
1992 |
13 | 1 |
p. 89-97 9 p. |
artikel |
5 gevonden resultaten