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
 
Neuigkeiten

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
<< < > >>


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


11 - 20 von 30
<< < > >>


E-Mail-IconAdministration