Integrating Automated and Interactive Theorem Proving

Erstveröffentlichung
1998
Authors
Ahrendt, W.
Beckert, B.
Hähnle, R.
Menzel, W.
Reif, Wolfgang
et al.
Editor
Bibel, W.
Schmitt, P.
Teil eines Buches


Published in
Automated Deduction - A Basis for Applications / Bibel, Wolfgang ; Schmitt, Peter H. (Hrsg.). - Dodrecht : Springer, 1998. - (Applied Logic Series ; 9). - S. 97-116. - ISBN 978-90-481-5051-9, ISBN 978-94-017-0435-9. - ISSN 1386-2790
Link to publication
https://dx.doi.org/10.1007/978-94-017-0435-9_4
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Programmiermethodik und Compilerbau
Subject headings
[DDC subject group]: DDC 000 / Computer science, information & general works
Metadata
Show full item record