عنوان
پدید آورنده
موضوع
رده
QA448 .D38,I58 2011
QA448
.
D38
,
I58
2011
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر:
9783642250705 (electronic bk.)
IR
E-5640
انگلیسی
IR
Automated deduction in geometr
[Book]
:8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
/ Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Berlin ;New York
: Springer,
, c2011.
1 online resource (x, 258 p.)
(Lecture notes in artificial intelligence
(Lecture notes in computer science,0302-9743.)
(LNCS sublibrary. SL 7, Artificial intelligence.)
; 6877.)
Print
Includes bibliographical references and author index.
Lecture notes in computer science.Lecture notes in artificial intelligence
Lecture notes in computer science
LNCS sublibrary.SL 7,Artificial intelligence
6877
ADG 2010
Geometry, Data processing, Congresses
Automatic theorem proving, Congresses
Computer science
Software engineering
Computational complexity
Artificial intelligence
Computer graphics
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
Electronic books
516
.
00285
QA448
.
D38
,
I58
2011
International Workshop on Automated Deduction in Geometry(8th :2010 :Munich, Germany)
Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jeurgen,1963-
ایران
old catalog
p
BL
1
a
Y
