|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algebraic evaluation method for deduction in incomplete data bases |
Demolombe, R. |
1988 |
5 | 3 |
p. 183-205 23 p. |
artikel |
|
| 2 | A technique for translating clausal specifications of numerical methods into efficient programs |
Clocksin, W.F. |
1988 |
5 | 3 |
p. 231-242 12 p. |
artikel |
|
| 3 | Automatic mode inference for logic programs |
Debray, Saumya K. |
1988 |
5 | 3 |
p. 207-229 23 p. |
artikel |
|
| 4 | Complete logic programs with domain-closure axiom |
Mancarella, Paolo |
1988 |
5 | 3 |
p. 263-276 14 p. |
artikel |
|
| 5 | The occur-check problem revisited |
Beer, Joachim |
1988 |
5 | 3 |
p. 243-261 19 p. |
artikel |
5 gevonden resultaten