Toggle navigation
Home
People
Departments
Research
About
Login
Search
LITTLE THEORIES
Conferences
View record in Web of Science ®
Overview
Research
Identity
Additional Document Info
View All
Overview
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
Research
keywords
Mathematics
Mathematics, Applied
Physical Sciences
Science & Technology
Identity
International Standard Book Number (ISBN) 10
3-540-55602-8
Additional Document Info
start page
567
end page
581
volume
607