IMPS: An Interactive Mathematical Proof System (1993)

Cached

Download Links

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Journal of Automated Reasoning
Citations:79 - 18 self

Document Versions

IMPS: An Interactive Mathematical Proof System –William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1993 — Journal of Automated Reasoning
IMPS: an Interactive Mathematical Proof System –William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1993 — Journal of Automated Reasoning