NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook12730
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
21- CADE--Automated deduction
Other Title Information
:first International Conference on Automated Deduction. ; International Conference on Automated Deduction. ; -one. ; 21st International Conference on Automated Deduction. ; Twenty-twenty-21. ; CADE-Automated deduction. ; CADE
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York :
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 2007.
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
Pfenning, Frank. ;
old catalog
