Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Standorte:	Online (frei zugänglich)

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

1 - 2 von 2

	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