Conference
IMPS : An interactive mathematical proof system
Authors
Farmer WM; Guttman JD; Thayer FJ
Series
Lecture Notes in Computer Science
Volume
449
Pagination
pp. 653-654
Publisher
Springer Nature
Publication Date
1990
DOI
10.1007/3-540-52885-7_126
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743