%0 Book
%T Tableau, Tableauresolution und Tableaugraphresolution ein neuer Weg zur automatischen Deduktion
%A Li, Wanlin
%I Lang
%@ 3631440014
%K Logic, symbolic and mathematical
%K Automatic theorem proving
%K Predicate calculus
%K Hochschulschrift
%K Automatisches Beweisverfahren
%D 1991
%C Lang
%C Bern
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation