IMPS: An interactive mathematical proof system Journal Articles

authors

• Farmer, William Michael
• Guttman, Joshua D
• Thayer, F Javier

status

• published 

publication date

• 1993

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• 1702 Cognitive Sciences (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Journal of Automated Reasoning  Journal

keywords

• AUTOMATED ANALYSIS
• COMPUTING WITH THEOREMS
• Computer Science
• Computer Science, Artificial Intelligence
• HIGHER-ORDER LOGIC
• INTERACTIVE THEOREM PROVING
• PARTIAL FUNCTIONS
• Science & Technology
• THEORY INTERPRETATION
• Technology

Digital Object Identifier (DOI)

• 10.1007/bf00881906

start page

• 213

end page

• 248

volume

• 11

issue

• 2