عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642210457
(Number (ISBN
9783642210457
NATIONAL BIBLIOGRAPHY NUMBER
Number
b506246
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction in geometry
General Material Designation
[Book]
Other Title Information
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
First Statement of Responsibility
Thomas Sturm, Christoph Zengler (Eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2011]
SERIES
Series Title
Lecture notes in artifical intelligence
Series Title
Lecture notes in computer science,
Volume Designation
6301
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index.
PARALLEL TITLE PROPER
Parallel Title
ADG 2008
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses.
Geometry-- Data processing, Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Sturm, Thomas.
Zengler, Christoph.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Workshop on Automated Deduction in Geometry(7th :2008 :, Shanghai, China)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service).
ORIGINATING SOURCE
Date of Transaction
20190301074500.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
