عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3642210457
9783642210457
b506246
Automated deduction in geometry
[Book]
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
Thomas Sturm, Christoph Zengler (Eds.).
Berlin :
Springer,
[2011]
Lecture notes in artifical intelligence
Lecture notes in computer science,
6301
0302-9743 ;
Includes bibliographical references and author index.
ADG 2008
Automatic theorem proving, Congresses.
Geometry-- Data processing, Congresses.
Sturm, Thomas.
Zengler, Christoph.
International Workshop on Automated Deduction in Geometry(7th :2008 :, Shanghai, China)
SpringerLink (Online service).
20190301074500.0
مطالعه متن کتاب [Book]
Y
