عنوان
پدید آورنده
موضوع
رده
T 385 .A92 2015 E-Book ,
T
385
.
A92
2015
E-Book
,
کتابخانه
محل استقرار
:9783319213613
13550
انگلیسی
Automated Deduction in Geometry
[electronic resources]
: 10th International Workshop, ADG 2014 Coimbra, Portugal, July 9–11, 2014 Revised Selected Papers
\ Francisco Botana , Pedro Quaresma (Eds.)
Cham
: Springer
, 2015
ix, 181 p
:ill
Lecture Notes in Artificial Intelligence
; 9201
Index
Bibliography
Computer graphics
گرافیک کامپیوتری
a03
a03
Geometry -- Data processing -- Congresses.
Automatic theorem proving -- Congresses.
هندسه -- داده پردازی -- کنگره ها
T
385
.
A92
2015
E-Book
,
Botana, Francisco
Quaresma, Pedro
International Workshop on Automated Deduction in Geometry (10th : 2014 : Coimbra, Portugal)
ایران
20170125
9783319213613.pdf
p
BL
279177
1
a
N
