TY -
BOOK
AU - Dilger, Werner
AU - Schneider, Hans-Albert
TI -
A theorem proving associative processor
PB - Fachbereich Informatik, Univ.
KW - Bericht
KW - Automatisches Beweisverfahren
KW - Assoziativprozessor
KW - Mikroprozessor
PY - [1985]
BT - Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 145
CY - Kaiserslautern
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -