NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook37388
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
17 :-CADE--Automated deduction
Other Title Information
:17 ; -CADE
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York :
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 2000.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
McAllester, David A ;
old catalog
