IMPS - SYSTEM DESCRIPTION Conferences

authors

• Farmer, William Michael
• GUTTMAN, JD
• THAYER, FJ

status

• published 

publication date

• January 1, 1992

published in

• AUTOMATED DEDUCTION - CADE-11  Journal

presented at event

• 11TH INTERNATIONAL CONF ON AUTOMATED DEDUCTION  Conference

keywords

• Mathematics
• Mathematics, Applied
• Physical Sciences
• Science & Technology

International Standard Book Number (ISBN) 10

• 3-540-55602-8

start page

• 701

end page

• 705

volume

• 607