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