> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: On the Boolean closure of Büchi tree automaton definable sets of omega-trees Beteiligte: Hafer, Thilo [VerfasserIn] Erschienen: Aachen: RWTH, Fachgruppe Informatik, 1987 Erschienen in: Aachener Informatik-Berichte ; 87,16 Umfang: 14 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 4080 : Aachener Informatik-Berichte Schlagwörter: Bericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Aachener Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 95 8 54425 001 Barcode: 10010887 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden