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"

Zurück zur Trefferliste


Treffer 27 von 30 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/820686875
Titel Automated theorem proving / Wolfgang Bibel
Person(en) Bibel, Wolfgang (Verfasser)
Verlag Braunschweig ; Wiesbaden : Vieweg
Zeitliche Einordnung Erscheinungsdatum: 1982
Umfang/Format XIII, 292 S. ; 23 cm
ISBN/Einband/Preis 978-3-528-08520-9 kart. : DM 27.50
3-528-08520-7 kart. : DM 27.50
Anmerkungen Literaturverz. S. 277 - 287
Status nach VGG: lieferbar
Schlagwörter Theorembeweisen <Kybern.> ; Beweis (Mathematik) ; Elektronische Datenverarbeitung
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: D 82/30408
Bereitstellung in Frankfurt
Leipzig Signatur: 1982 A 30356
Bereitstellung in Leipzig




Treffer 27 von 30
< < > <




Aktionen

Aktionen





E-Mail-IconAdministration