|
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 | Editorial Board |
1999 |
38 | 1 |
p. IFC- 1 p. |
artikel |
||
| 2 | Efficient access mechanisms for tabled logic programs |
Ramakrishnan, I.V |
1999 |
38 | 1 |
p. 31-54 24 p. |
artikel |
|
| 3 | Reasoning on constraints in CLP(FD) |
Lamma, Evelina |
1999 |
38 | 1 |
p. 93-110 18 p. |
artikel |
|
| 4 | Return value placement and tail call optimization in high level languages |
Bigot, Peter A |
1999 |
38 | 1 |
p. 1-29 29 p. |
artikel |
|
| 5 | Set constructors, finite sets, and logical semantics |
Jayaraman, Bharat |
1999 |
38 | 1 |
p. 55-77 23 p. |
artikel |
|
| 6 | Stable inference as intuitionistic validity |
Pearce, David |
1999 |
38 | 1 |
p. 79-91 13 p. |
artikel |
6 gevonden resultaten