|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index to volumes 19/20 |
1994 |
S1 |
p. 717- 1 p. |
artikel |
|||
| 2 | Constraint logic programming: a survey |
Jaffar, Joxan |
1994 |
S1 |
p. 503-581 79 p. |
artikel |
||
| 3 | Editorial Board |
1994 |
S1 |
p. IFC- 1 p. |
artikel |
|||
| 4 | Guest editors' introduction |
Bruynooghe, M. |
1994 |
S1 |
p. 1-3 3 p. |
artikel |
||
| 5 | Inductive Logic Programming: Theory and methods |
Muggleton, Stephen |
1994 |
S1 |
p. 629-679 51 p. |
artikel |
||
| 6 | Introduction: 10th birthday special issue of the journal of logic programming |
Robinson, J.A. |
1994 |
S1 |
p. 5-8 4 p. |
artikel |
||
| 7 | Logic programming and knowledge representation |
Baral, Chitta |
1994 |
S1 |
p. 73-148 76 p. |
artikel |
||
| 8 | Logic programming and negation: A survey |
Apt, Krzysztof R. |
1994 |
S1 |
p. 9-71 63 p. |
artikel |
||
| 9 | Logic programming environments: Dynamic program analysis and debugging |
Ducassé, Mireille |
1994 |
S1 |
p. 351-384 34 p. |
artikel |
||
| 10 | Logic program synthesis |
Deville, Yves |
1994 |
S1 |
p. 321-350 30 p. |
artikel |
||
| 11 | Modularity in Logic Programming |
Bugliesi, Michele |
1994 |
S1 |
p. 443-502 60 p. |
artikel |
||
| 12 | Natural language processing and logic programming |
Dahl, Veronica |
1994 |
S1 |
p. 681-714 34 p. |
artikel |
||
| 13 | Termination of logic programs: the never-ending story |
de Schreye, Danny |
1994 |
S1 |
p. 199-260 62 p. |
artikel |
||
| 14 | The integration of functions into logic programming: From theory to practice |
Hanus, Michael |
1994 |
S1 |
p. 583-628 46 p. |
artikel |
||
| 15 | The s-semantics approach: Theory and applications |
Bossi, Annalisa |
1994 |
S1 |
p. 149-197 49 p. |
artikel |
||
| 16 | 1983–1993: The wonder years of sequential Prolog implementation |
Van Roy, Peter |
1994 |
S1 |
p. 385-441 57 p. |
artikel |
||
| 17 | Title index to volumes 19/20 |
1994 |
S1 |
p. 715- 1 p. |
artikel |
|||
| 18 | Transformation of logic programs: Foundations and techniques |
Pettorossi, Alberto |
1994 |
S1 |
p. 261-320 60 p. |
artikel |
18 gevonden resultaten