ISSE

Search

Theorem Proving in Large Theories

W. Reif and G. Schellhorn

Theorem Proving in Large Theories

published 1998 in: Dordrecht W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume III: Applications, Chapter 2

Publisher: Kluwer Academic Publishers


Downloads: