KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens [online]

Beckert, Bernhard

Open Access Logo


Volltext §
DOI: 10.5445/IR/107599
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 1999
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA1075998
KITopen-ID: 107599
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 3.7.1998.
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. 3.7.1998
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page