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"

Zurück zur Trefferliste


Treffer 17 von 30 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/870320262
Titel Automated theorem proving / Wolfgang Bibel
Person(en) Bibel, Wolfgang (Verfasser)
Ausgabe 2., rev. ed.
Verlag Braunschweig ; Wiesbaden : Vieweg
Zeitliche Einordnung Erscheinungsdatum: 1987
Umfang/Format XIV, 288 S. : graph. Darst. ; 23 cm
ISBN/Einband/Preis 978-3-528-18520-6 kart. : DM 58.00, L 20.00, $ 32.00
3-528-18520-1 kart. : DM 58.00, L 20.00, $ 32.00
Sprache(n) Englisch (eng)
Beziehungen Artificial intelligence
Anmerkungen Literaturverz. S. 266 - 280
Status nach VGG: lieferbar
Schlagwörter Automatisches Beweisverfahren
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 87/16650
Bereitstellung in Frankfurt
Leipzig Signatur: 1988 A 12708
Bereitstellung in Leipzig




Treffer 17 von 30
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration