Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
 
 


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

21 - 30 von 30
<< < > >>


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


21 - 30 von 30
<< < > >>


E-Mail-IconAdministration