Theorem Proving in Large Theories

Erstveröffentlichung
1998Authors
Reif, Wolfgang
Schellhorn, Gerhard
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. - ISBN 978-90-481-5052-6, ISBN 978-94-017-0437-3