|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A new method for integrity constraint checking in deductive databases |
Seljée, Ron |
1995 |
15 | 1 |
p. 63-102 40 p. |
artikel |
|
| 2 | Calendar |
1995 |
15 | 1 |
p. 105-108 4 p. |
artikel |
||
| 3 | Editorial Board |
1995 |
15 | 1 |
p. ii- 1 p. |
artikel |
||
| 4 | Formal deadlock elimination in an object oriented conceptual schema |
Dedene, G. |
1995 |
15 | 1 |
p. 1-30 30 p. |
artikel |
|
| 5 | Implementation of a logic-based support system for concurrent engineering |
Greef, Arthur R. |
1995 |
15 | 1 |
p. 31-61 31 p. |
artikel |
|
| 6 | Third international workshop on deontic logic in computer science (DEON'96) |
1995 |
15 | 1 |
p. 103-104 2 p. |
artikel |
6 gevonden resultaten