Katalog der Deutschen Nationalbibliothek

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

21 - 30 von 30

21	Studien- und Forschungsführer Künstliche Intelligenz Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
22	Fundamentals of artificial intelligence Berlin : Springer, 1986
23	Mathematical Methods of Specification and Synthesis of Software Systems ‘85 Berlin : De Gruyter, 1986, Reprint 2024	Ankündigung
24	Mathematical methods of specification and synthesis of software systems '85 Berlin : Akademie-Verlag, 1986
25	Mathematical methods of specification and synthesis of software systems '85 Berlin : Springer, 1986
26	Artificial intelligence Amsterdam : North-Holland, 1985
27	Automated theorem proving Bibel, Wolfgang. - Braunschweig : Vieweg, 1982
28	5. [Fifth] Conference on Automated Deduction Conference on Automated Deduction (5 : 1980 : Les Arcs). - Berlin, Heidelberg, New York : Springer, 1980
29	Schnittelimination in einem Teilsystem der einfachen Typenlogik Bibel, Wolfgang. - München, 1968
30	Bibel, Wolfgang 1938- / Informatiker