IMPS: An Interactive Mathematical Proof System (1993)
by
William M. Farmer
,
Joshua D. Guttman
,
F. Javier Thayer
| Venue: | Journal of Automated Reasoning |
| Citations: | 76 - 17 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 |
