Zoekresultaten
Resultaat 1 - 2 (van 2)
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
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