|
" Automated deduction in geometry "
Thomas Sturm, Christoph Zengler (Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
684057
|
| Doc. No
|
:
|
b506246
|
| Main Entry
|
:
|
International Workshop on Automated Deduction in Geometry(7th :2008 :, Shanghai, China)
|
| Title & Author
|
:
|
Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /\ Thomas Sturm, Christoph Zengler (Eds.).
|
| Publication Statement
|
:
|
Berlin :: Springer,, [2011]
|
| Series Statement
|
:
|
Lecture notes in artifical intelligence
|
|
|
:
|
Lecture notes in computer science,; 6301
|
| ISBN
|
:
|
3642210457
|
|
|
:
|
: 9783642210457
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
| Subject
|
:
|
Automatic theorem proving, Congresses.
|
| Subject
|
:
|
Geometry-- Data processing, Congresses.
|
| Added Entry
|
:
|
Sturm, Thomas.
|
|
|
:
|
Zengler, Christoph.
|
| Added Entry
|
:
|
SpringerLink (Online service).
|
| Parallel Title
|
:
|
ADG 2008
|
| |