Zoekresultaten
Resultaat 1 - 2 (van 2)
Hans de Nivelle Equivalentie van een aantal deductiesystemen
Non-fictie
Nederlands | 71 pagina's | Faculteit der Technische Wiskunde en Informatica, Delft | 1992
Gedrukt boek
Hans de Nivelle Generic modal resolution
Non-fictie
Engels | 39 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1992
Gedrukt boek