ISSE

Search

Integrating Automated and Interactive Theorem Proving

W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W.Reif, G. Schellhorn, and P. Schmitt

Integrating Automated and Interactive Theorem Proving

published 1998 in: Dordrecht W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume II: Systems and Implementation Techniques, Chapter 1: Interactive Theorem Proving

Publisher: Kluwer Academic Publishers


Downloads: