KIT | KIT-Bibliothek | Impressum | Datenschutz

Hilbert's epsilon-terms in automated theorem proving

Giese, Martin; Ahrendt, Wolfgang



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1999
Sprache Deutsch
Identifikator KITopen ID: 308399
Erscheinungsvermerk In: Automated reasoning with analytic tableaux and related methods. TABLEAUX '99. Ed.: N. Murray. Berlin 1999. S. 171-185. (Lecture notes in artificial intelligence. 1617.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page