|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A CLP framework in Java |
Ferreira, Lígia |
2000 |
30 | 3 |
p. 81-92 12 p. |
artikel |
|
| 2 | A Static Analysis Method for a Classical Linear Logic Programming Language |
Kang, Kyoung-Sim |
2000 |
30 | 3 |
p. 3-19 17 p. |
artikel |
|
| 3 | Attributed Variables in XSB |
Cui, Baoqiu |
2000 |
30 | 3 |
p. 67-80 14 p. |
artikel |
|
| 4 | Figaro: Yet Another Constraint Programming Library |
Henz, Martin |
2000 |
30 | 3 |
p. 93-105 13 p. |
artikel |
|
| 5 | IAP for Dummies: The YAP Design |
Eduardo Correia, Manuel |
2000 |
30 | 3 |
p. 106-121 16 p. |
artikel |
|
| 6 | Multi-engine Horn Clause Prolog |
Tarau, Paul |
2000 |
30 | 3 |
p. 143- 1 p. |
artikel |
|
| 7 | Preface |
Dutra, Ines |
2000 |
30 | 3 |
p. 1-2 2 p. |
artikel |
|
| 8 | The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library |
Cabeza, Daniel |
2000 |
30 | 3 |
p. 144-162 19 p. |
artikel |
|
| 9 | The Ciao Module System: A New Module System for Prolog |
Cabeza, Daniel |
2000 |
30 | 3 |
p. 122-142 21 p. |
artikel |
|
| 10 | The implementation of the Hammurabi system: indexing and interprocess communication |
LESOURD, Henri |
2000 |
30 | 3 |
p. 46-66 21 p. |
artikel |
|
| 11 | Translating a Linear Logic Programming Language into Java |
Banbara, Mutsunori |
2000 |
30 | 3 |
p. 20-45 26 p. |
artikel |
11 gevonden resultaten