%0 Book
%T Automated development of fundamental mathematical theories
%A Quaife, Art
%I Kluwer Academic
%@ 0792320212
%K Automata theory
%K Automatic
%K theorem
%K proving
%K Artificial
%K intelligence
%K Automatisches Beweisverfahren
%D 1992
%X Includes bibliographical references (p. [259]-265) and indexes
%C Kluwer Academic
%C Dordrecht [u.a.]
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation