|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | On Delphi lemmas and other memoing techniques for deterministic logic programs |
Tarau, Paul |
1997 |
30 | 2 |
p. 145-163 19 p. |
artikel |
|
| 2 | Order-sorted feature theory unification |
Aït-Kaci, Hassan |
1997 |
30 | 2 |
p. 99-124 26 p. |
artikel |
|
| 3 | Stable models are generated by a stable chain |
Herre, Heinrich |
1997 |
30 | 2 |
p. 165-177 13 p. |
artikel |
|
| 4 | Update by means of inference rules |
Przymusinski, Teodor C. |
1997 |
30 | 2 |
p. 125-143 19 p. |
artikel |
4 gevonden resultaten