> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Logisches Schließen mit massiv parallelen Methoden Beteiligte: Strohmaier, Antje [VerfasserIn] Erschienen: 1997 Umfang: 232 S.; graph. Darst Sprache: Deutsch RVK-Notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dresden, Techn. Univ., Diss., 1997 Anmerkungen:
Zentralbibliothek – Magazin Signatur: 1997 4 027027 001 Barcode: 10208284 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 4 027027 002 Barcode: 30081511 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden