Media type: Text; E-Article; E-Article Title: A tableau calculus for quantifier-free set theoretic formulae Contributor: Beckert, Bernhard [Author]; Hartmer, Ulrike [Author] imprint: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Language: English Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.