Media type: Book Title: A theorem proving associative processor Contributor: Dilger, Werner [Author]; Schneider, Hans-Albert [Author] imprint: Kaiserslautern: Fachbereich Informatik, Univ., [1985] Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 145 Extent: 73 Bl; graph. Darst Language: English RVK notation: SI 715 : Universität (Kaiserslautern). Fachbereich Informatik: Interner Bericht SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Keywords: Automatisches Beweisverfahren > Assoziativprozessor Assoziativprozessor > Mikroprozessor Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 2000 4 037414 001 Item ID: 30084362 Status: Loanable, place order > Ordering possible ‒ please log in