%0
Generic
%T
A tableau calculus for quantifier-free set theoretic formulae
%A Beckert, Bernhard
%A Hartmer, Ulrike
%K DATA processing & computer science
%D 2008-01-16
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2