Hilbert's epsilon-terms in automated theorem proving
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 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.) |