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