> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: A theorem proving associative processor Beteiligte: Dilger, Werner [VerfasserIn]; Schneider, Hans-Albert [VerfasserIn] Erschienen: Kaiserslautern: Fachbereich Informatik, Univ., [1985] Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 145 Umfang: 73 Bl; graph. Darst Sprache: Englisch Entstehung: RVK-Notation: SI 715 : Universität (Kaiserslautern). Fachbereich Informatik: Interner Bericht SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Schlagwörter: Automatisches Beweisverfahren > Assoziativprozessor Assoziativprozessor > Mikroprozessor Anmerkungen: Weitere Bestandsnachweise 0 : Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 2000 4 037414 001 Barcode: 30084362 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden