> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Deduktion : Automatisierung der Logik Beteiligte: Bibel, Wolfgang [VerfasserIn] Erschienen: München [u.a.]: Oldenbourg, 1992 Erschienen in: Handbuch der Informatik ; 6,2 Umfang: 269 S.; graph. Darst Sprache: Deutsch ISBN: 3486207857 RVK-Notation: ST 110 : Allgemeine Darstellungen (Lehrbücher, Einführungen etc.) SK 130 : Logik und Grundlagen, Metamathematik, ER 620 : Sprache und Logik ST 120 : Grundlagen der Informatik ST 285 : Computer supported cooperative work (CSCW), Groupware ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Deduktionssystem Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Handbuch der Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 94 8 15827 001 Barcode: 30805083 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden