> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Berechenbarkeit, Komplexität, Logik : Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität Enthält: Literaturverz. S. 423 - 451 Beteiligte: Börger, Egon [VerfasserIn] Erschienen: Braunschweig; Wiesbaden: Vieweg, 1992 Ausgabe: 3., verb. und erw. Aufl. Umfang: XX, 499 S.; graph. Darst Sprache: Deutsch ISBN: 3528289287 RVK-Notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung ST 130 : Allgemeines Schlagwörter: Berechenbarkeit > Prädikatenlogik Entstehung: Anmerkungen: Literaturverz. S. 423 - 451
Bereichsbibliothek DrePunct – Freihand Signatur: SK 130 B672(3) Barcode: 30442007 Status: Benutzung nur im Haus, Versand per Fernleihe möglich
Zentralbibliothek – Magazin Signatur: 93 8 00761 008 Barcode: 32059646 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.