> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Deduktionssysteme Beteiligte: Socher, Rolf [VerfasserIn] Erschienen: Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994 Umfang: 186 S; graph. Darst; 21 cm Sprache: Deutsch ISBN: 3411171715 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Deduktionssystem Deduktionssystem Entstehung: Anmerkungen: Literaturverz. S. [179] - 181