Conference
IMPS - SYSTEM DESCRIPTION
Authors
FARMER WM; GUTTMAN JD; THAYER FJ
Editors
Kapur D
Series
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Volume
607
Pagination
pp. 701-705
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 1992
ISBN-10
3-540-55602-8
Name of conference
11TH INTERNATIONAL CONF ON AUTOMATED DEDUCTION
Conference place
SARATOGA SPRINGS, NY
Conference start date
June 15, 1992
Conference end date
June 18, 1992
Conference proceedings
AUTOMATED DEDUCTION - CADE-11