Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

11 - 20 von 30

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen