|
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 circumscriptive theorem prover |
Ginsberg, Matthew L. |
1989 |
39 | 2 |
p. 209-230 22 p. |
artikel |
|
| 2 | Announcements |
1989 |
39 | 2 |
p. 279-280 2 p. |
artikel |
||
| 3 | Books received |
1989 |
39 | 2 |
p. 273-274 2 p. |
artikel |
||
| 4 | Controlling backward inference |
Smith, David E. |
1989 |
39 | 2 |
p. 145-208 64 p. |
artikel |
|
| 5 | Forthcoming papers |
1989 |
39 | 2 |
p. 281-282 2 p. |
artikel |
||
| 6 | Prolog and natural-language analysis |
Shankar, C.Ravi |
1989 |
39 | 2 |
p. 275-278 4 p. |
artikel |
|
| 7 | Reasoning about truth |
Priest, G. |
1989 |
39 | 2 |
p. 231-244 14 p. |
artikel |
|
| 8 | The importance of open and recursive circumscription |
Besnard, Philippe |
1989 |
39 | 2 |
p. 251-262 12 p. |
artikel |
|
| 9 | Truth and meaning |
Perlis, Donald |
1989 |
39 | 2 |
p. 245-250 6 p. |
artikel |
|
| 10 | Undecidability of subsumption in NIKL |
Patel-Schneider, Peter F. |
1989 |
39 | 2 |
p. 263-272 10 p. |
artikel |
10 gevonden resultaten