> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: State event logic Beteiligte: Große, Gerd [VerfasserIn] Erschienen: Aachen: Shaker, 1997 Erschienen in: Berichte aus der Informatik Ausgabe: Als Ms. gedr. Umfang: II, 148 S; graph. Darst; 21 cm Sprache: Englisch ISBN: 3826524527 RVK-Notation: ST 300 : Allgemeines ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Künstliche Intelligenz > Nebenläufigkeit > Logischer Schluss Entstehung: Hochschulschrift: Zugl.: Darmstadt, Techn. Hochsch., Diss., 1996 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: R2017 8 17491 Barcode: 30443980 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.