Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: tit all "˜Aœ Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle"
im Bestand: Gesamter Bestand

1 - 3 von 3

	1	A mechanization of sorted higher-order logic based on the resolution principle Kohlhase, Michael. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2007
	2	A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle Kohlhase, Michael. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999
	3	A mechanization of sorted higher-order logic based on the resolution principle Kohlhase, Michael, 1994