ISSE

Search

Automated Deduction - A Basis for Applications

T. Nipkow and W. Reif

Automated Deduction - A Basis for Applications

published 1998 in: Dordrecht W. Bibel and P. Schmitt, editors, An Introduction to Interactive Theorem Proving

Publisher: Kluwer Academic Publishers