Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "123426294"
im Bestand: Gesamter Bestand

11 - 20 von 30

	11	Deduction Bibel, Wolfgang. - London : Acad. Press, 1993
	12	Wissensrepräsentation und Inferenz Bibel, Wolfgang. - Braunschweig : Vieweg, 1993
	13	Deduktion Bibel, Wolfgang. - München : Oldenbourg, 1992
	14	SETHEO: A high-performance theorem prover Enthalten in Journal of automated reasoning Bd. 8, Nr. 2, date:4.1992: 183-212
	15	Perspectives on automated deduction Bibel, Wolfgang. - St. Augustin : GMD [u.a.], 1991
	16	Plan generation by linear proofs München : Inst. für Informatik, 1989
	17	Automated theorem proving Bibel, Wolfgang. - Braunschweig : Vieweg, 1987, 2., rev. ed.
	18	Fundamentals of artificial intelligence Berlin : Springer, 1987, 2. print.
	19	Mathematical Methods of Specification and Synthesis of Software Systems ‘85 Berlin/Boston : De Gruyter, 1987, Reprint 2024
	20	Studien- und Forschungsführer künstliche Intelligenz Berlin : Springer, 1987