Zoekresultaten
Resultaat 1 - 1 (van 1)
K.R. Apt | E. Marchiori Reasoning about Prolog programs
from modes through types to assertions
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek
Resultaat 1 - 1 (van 1)
from modes through types to assertions
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1993
Gedrukt boek