|
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 extension of lambda-calculus for functional programming |
Revesz, Gyorgy |
1984 |
1 | 3 |
p. 241-251 11 p. |
artikel |
|
| 2 | A theory of complete logic programs with equality |
Jaffar, Joxan |
1984 |
1 | 3 |
p. 211-223 13 p. |
artikel |
|
| 3 | Linear-time algorithms for testing the satisfiability of propositional horn formulae |
Dowling, William F. |
1984 |
1 | 3 |
p. 267-284 18 p. |
artikel |
|
| 4 | Making prolog more expressive |
Lloyd, J.W. |
1984 |
1 | 3 |
p. 225-240 16 p. |
artikel |
|
| 5 | Parser generation and grammar manipulation using prolog's infinite trees |
Giannesini, Francis |
1984 |
1 | 3 |
p. 253-265 13 p. |
artikel |
5 gevonden resultaten