|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A note on the complexity of the satisfiability of modal Horn clauses |
Del Cerro, Luis Fariñas |
1987 |
4 | 1 |
p. 1-10 10 p. |
artikel |
|
| 2 | Editorial Board |
1987 |
4 | 1 |
p. IFC- 1 p. |
artikel |
||
| 3 | Efficient loop detection in prolog using the tortoise-and-hare technique |
Van Gelder, Allen |
1987 |
4 | 1 |
p. 23-31 9 p. |
artikel |
|
| 4 | Enumeration operators and modular logic programming |
Fitting, Melvin |
1987 |
4 | 1 |
p. 11-21 11 p. |
artikel |
|
| 5 | Logic programming and digital circuit analysis |
Clocksin, W.F. |
1987 |
4 | 1 |
p. 59-82 24 p. |
artikel |
|
| 6 | On determining the causes of nonunifiability |
Cox, P.T. |
1987 |
4 | 1 |
p. 33-58 26 p. |
artikel |
|
| 7 | Prolog for programmers |
Helm, Richard |
1987 |
4 | 1 |
p. 83-84 2 p. |
artikel |
7 gevonden resultaten