> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Automated theorem proving Beteiligte: Bibel, Wolfgang [VerfasserIn] Erschienen: Braunschweig [u.a.]: Vieweg, 1982 Umfang: XIII, 292 S Sprache: Englisch ISBN: 3528085207 RVK-Notation: ST 285 : Computer supported cooperative work (CSCW), Groupware ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Automatisches Beweisverfahren Deduktion > Computersimulation Logisches Denken > Computersimulation Automatisches Beweisverfahren Entstehung: Anmerkungen: Literaturverz. S. 277 - 287
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 17431 Barcode: 10128416 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung