> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The decision problem : solvable classes of quantificational formulas Beteiligte: Dreben, Burton [VerfasserIn]; Goldfarb, Warren D. [VerfasserIn] Erschienen: Reading, Mass. [u.a.]: Addison-Wesley, 1979 Umfang: XII, 271 S Sprache: Englisch ISBN: 020102540X Entstehung: RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Entscheidungsproblem > Entscheidungstheorie > Mathematisches Modell Anmerkungen:
Bereichsbibliothek DrePunct Signatur: SK 130 D771 D2 Barcode: 34755438 Status: Verfügbarkeit bitte in Prof Wissensbasierte Systeme (cfaed) erfragen.