NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook39502
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction in geometry :
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York :
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 1999.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Geometry ; Data processing ; Congresses ; Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ; raisonnement g?om?trique ; g?om?trie algorithmique ; d?monstration th?or?me ; G?om?trie ; d?duction automatique ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
; - ; Yang, Lu, ; 1936-Shan ; Wang, Dongming, ; 1961-Gao, Xiao
old catalog
