> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel; E-Artikel; Sonstige Veröffentlichung Titel: A tableau calculus for quantifier-free set theoretic formulae Beteiligte: Beckert, Bernhard [VerfasserIn]; Hartmer, Ulrike [VerfasserIn] Erschienen: KITopen (Karlsruhe Institute of Technologie), 2008-01-16 Sprache: Englisch Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.