KIT | KIT-Bibliothek | Impressum | Datenschutz

Proof search without backtracking for free variable tableaux [online]

Giese, Martin

Open Access Logo


Volltext §
DOI: 10.5445/IR/4572003
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 2003
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA45720039
KITopen-ID: 4572003
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 12.7.2002.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 12.7.2002
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page