> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Complexity of Presburger arithmetic with fixed quantifier dimension Beteiligte: Schöning, Uwe [VerfasserIn] Körperschaft: Universität Ulm, Fakultät für Informatik Erschienen: Ulm: Univ., Fak. für Informatik, 1995 Erschienen in: Ulmer Informatik-Berichte ; 95,02 Umfang: 5 S. Sprache: Englisch RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Computational complexity Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Ulmer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 50182 001 Barcode: 10010531 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden