|
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 | A platform for restriction mapping |
Yee, Chut N. |
1997 |
33 | 2 |
p. 81-99 19 p. |
artikel |
|
| 2 | Expressiveness of stable model semantics for disjunctive logic programs with functions |
Eiter, Thomas |
1997 |
33 | 2 |
p. 167-178 12 p. |
artikel |
|
| 3 | Logic and algebraic languages for interoperability in multidatabase systems |
Lakshmanan, Laks V.S. |
1997 |
33 | 2 |
p. 101-149 49 p. |
artikel |
|
| 4 | The IFF proof procedure for abductive logic programming |
Fung, Tze Ho |
1997 |
33 | 2 |
p. 151-165 15 p. |
artikel |
4 gevonden resultaten