|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A logic-based integration of active and deductive databases |
Fernandes, Alvaro A. A. |
1997 |
15 | 2 |
p. 205-244 |
artikel |
|
| 2 | A logic-based integration of active and deductive databases |
Fernandes, Alvaro A. A. |
|
15 | 2 |
p. 205-244 |
artikel |
|
| 3 | An extended variant of atoms loop check for positive logic programs |
Shen, Yi -Dong |
1997 |
15 | 2 |
p. 187-203 |
artikel |
|
| 4 | An extended variant of atoms loop check for positive logic programs |
Shen, Yi -Dong |
|
15 | 2 |
p. 187-203 |
artikel |
|
| 5 | Consistency-motivated reason maintenance in hypothetical reasoning |
Sattar, Abdul |
|
15 | 2 |
p. 163-186 |
artikel |
|
| 6 | Consistency-motivated reason maintenance in hypothetical reasoning |
Sattar, Abdul |
1997 |
15 | 2 |
p. 163-186 |
artikel |
|
| 7 | On the completeness of naive memoing in Prolog |
Dietrich, Suzanne Wagner |
1997 |
15 | 2 |
p. 141-162 |
artikel |
|
| 8 | On the completeness of naive memoing in Prolog |
Dietrich, Suzanne Wagner |
|
15 | 2 |
p. 141-162 |
artikel |
8 gevonden resultaten