IMPS: An Interactive Mathematical Proof System

Authors
W.M.Farmer,J.D.Guttman,F.J.Thayer
Citation
W.m.farmer,j.d.guttman,f.j.thayer, IMPS: An Interactive Mathematical Proof System, Journal of automated reasoning , 11(2), 1993, pp. 213-248
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
2
Year of publication
1993
Pages
213 - 248
Database
ACNP
SICI code