KIT | KIT-Bibliothek | Impressum | Datenschutz

An improved method for adding equality to free variable semantic tableaux

Beckert, Bernhard ORCID iD icon; Haehnle, Reiner


Volltext §
DOI: 10.5445/IR/255592
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1992
Sprache Englisch
Identifikator ISBN: 3-540-55602-8
ISSN: 0302-9743
urn:nbn:de:swb:90-AAA2555923
KITopen-ID: 255592
Erschienen in Automated deduction. Ed.: D. Kapur
Verlag Springer-Verlag
Seiten 507 - 521
Serie Lecture notes in computer science ; 607
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page