TU Darmstadt / ULB / TUbiblio

Integration of Automated and Interactive Theorem Proving

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter
Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications, Kluwer, pp. 97--116, [Book Section]

Item Type: Book Section
Erschienen: 1998
Editors: Bibel, Wolfgang and Schmitt, Peter
Creators: Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter
Title: Integration of Automated and Interactive Theorem Proving
Language: German
Title of Book: Automated Deduction: A Basis for Applications
Volume: II
Publisher: Kluwer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: I.3.16
Export:

Optionen (nur für Redakteure)

View Item View Item