عنوان
پدید آورنده
موضوع
رده
516 I61a
516
I61a
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540209271
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria)
Title Proper
Automated deduction in geometry : 4th international workshop ...
.PUBLICATION, DISTRIBUTION, ETC
Date of Publication, Distribution, etc.
c2004
Name of Publisher, Distributor, etc.
Springer
PHYSICAL DESCRIPTION
Other Physical Details
vi, 229 p. : ill
TOPICAL NAME USED AS SUBJECT
Entry Element
Geometry-Data processing-Congresses ► Automatic theorem proving-Congresses ► Logic, Symbolic and mathematical-Congresses
DEWEY DECIMAL CLASSIFICATION
Edition
I61a
Number
516
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Winkler, Franz, 1955-, ed
