Toggle navigation
Home
People
Departments
Research
About
Login
Search
IMPS : An interactive mathematical proof system
Conferences
Overview
Research
Identity
Additional Document Info
View All
Overview
authors
Farmer, William Michael
Guttman, Joshua D
Thayer, F Javier
status
published
publication date
1990
has subject area
Artificial Intelligence & Image Processing
(Science Metrix)
published in
Lecture Notes in Computer Science
Journal
Research
keywords
46 Information and Computing Sciences
Identity
Digital Object Identifier (DOI)
10.1007/3-540-52885-7_126
International Standard Book Number (ISBN) 10
3-540-52885-7
International Standard Book Number (ISBN) 13
9783540528852
Additional Document Info
start page
653
end page
654
volume
449 LNAI