Integrating Automated and Interactive Theorem Proving
Teil eines Buches
Herausgeber
Bibel, W.Schmitt, P.
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Programmiermethodik und CompilerbauErschienen 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