Zoekresultaten
Resultaat 1 - 2 (van 2)
E. Marchiori Some uses of constructive negation for classical problems in non-monotonic reasoning
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
E. Marchiori A logic for variable aliasing in logic programs
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek