%0
Book
%T
A theorem proving associative processor
%A Dilger, Werner
%A Schneider, Hans-Albert
%I Fachbereich Informatik, Univ.
%K Bericht
%K Automatisches Beweisverfahren
%K Assoziativprozessor
%K Mikroprozessor
%D [1985]
%C Fachbereich Informatik, Univ.
%C Kaiserslautern
%U http://slubdd.de/katalog?TN_libero_mab2