Zoekresultaten
Resultaat 1 - 4 (van 4)
K.R. Apt | M. Gabbrielli Declarative interpretations reconsidered
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
K.R. Apt | D. Pedreschi Proving termination of general Prolog programs
Non-fictie
Engels | 23 pagina's | CWI, Nationaal Instituut voor Onderzoek op het gebied van Wiskunde en Informatica, Amsterdam | 1991
Gedrukt boek
K.R. Apt | Rachel Ben-Eliyahu Meta-variables in logic programming, or the praise of ambivalent syntax
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
K.R. Apt | M. Gabbrielli | D. Pedreschi A closer look at declarative interpretations
Non-fictie
Engels | 31 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek