KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration of automated and interactive theorem proving

Ahrendt, Wolfgang; Beckert, Bernhard; Haehnle, Reiner; Menzel, Wolfram; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Peter H.



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 181398
Erscheinungsvermerk In: Automated deduction - a basis for applications. Ed.: W. Bibel. Vol. 2. Dordrecht 1998. S. 97-116. (Applied logic series. 9.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page