Zoekresultaten
Resultaat 1 - 11 (van 11)
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 Ordering refinements of resolution
Non-fictie
Engels | 197 pagina's | 1995
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Prefixed resolution
a resolution method for modal and description logics
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Hans de Nivelle Decoding the E+-Class by an A Posteriori, liftable order
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Manual of the TYPO type checker
Non-fictie
Engels | 23 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
Hans de Nivelle Resolution decided the guarded fragment
Non-fictie
Engels | 39 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1998
Gedrukt boek
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
Hans de Nivelle A general resolution scheme
Non-fictie
Engels | 45 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1993
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
Carlos Areces | Hans de Nivelle | M. de Rijke Resolution in modal, description and hybrid logic
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek