عنوان
پدید آورنده
موضوع
رده
QA,448,.D38,I577,1998
QA
,
448
,.
D38
,
I577
,
1998
کتابخانه
محل استقرار
alk. paper)
3540666729 (softcover
IR
ebook29294
انگلیسی
IR
Automated deduction in geometry
[Electronic Resource]
:Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings
/ Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Berlin ;New York
: Springer,
, 1999.
vi, 285 p.
: ill. ; 24 cm.
(Lecture notes in computer science
; 1669.Lecture notes in artificial intelligence)
e
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.Lecture notes in artificial intelligence
1669
Geometry--Data processing--Congresses
Automatic theorem proving--Congresses
Logic, Symbolic and mathematical--Congresses
516
,
00285
QA
,
448
,.
D38
,
I577
,
1998
Gao, Xiao-Shan
Wang, Dongming
Yang, Lu� 1936
International Workshop on Automated Deduction in Geometry(2nd :1998 :Beijing, China)
ایران
516,00285
3540666729.pdf
0
old catalog
e
BL
1
a
Y
