|
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 | Absys: the first logic programming language —A retrospective and a commentary |
Elcock, E.W. |
1990 |
9 | 1 |
p. 1-17 17 p. |
artikel |
|
| 2 | A fixpoint semantics for disjunctive logic programs |
Minker, Jack |
1990 |
9 | 1 |
p. 45-74 30 p. |
artikel |
|
| 3 | Completed logic programs and their consistency |
Sato, Taisuke |
1990 |
9 | 1 |
p. 33-44 12 p. |
artikel |
|
| 4 | Editorial Board |
1990 |
9 | 1 |
p. IFC- 1 p. |
artikel |
||
| 5 | Inference rules and proof procedures for inequations |
Mohan, Chilukuri K. |
1990 |
9 | 1 |
p. 75-104 30 p. |
artikel |
|
| 6 | Minimal consequence in sentential logic |
Papalaskari, Mary-Angela |
1990 |
9 | 1 |
p. 19-31 13 p. |
artikel |
|
| 7 | Representing knowledge with theories about theories |
Stabler Jr., Edward P. |
1990 |
9 | 1 |
p. 105-138 34 p. |
artikel |
7 gevonden resultaten