Zoekresultaten
Resultaat 1 - 2 (van 2)
Hans de Nivelle Application of resolution games to resolution decision procedures
Non-fictie
Engels | 34 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Hans de Nivelle Resolution games and non-liftable resolution orderings
Non-fictie
Engels | 47 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek