عنوان
پدید آورنده
موضوع
رده
QA,155.7,.E4,A35,2010
QA
,
155
.
7
,.
E4
,
A35
,
2010
کتابخانه
محل استقرار
alk. paper)
3642141277 (pbk.
IR
ebook49870
انگلیسی
IR
Intelligent computer mathematics
[Electronic Resource]
:10th international conference, AISC 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings
/ Serge Autexier ... [et al] (eds.
Berlin ;New York
: Springer,
, c2010.
xv, 469 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
(LNCS sublibrary. SL 7, Artificial intelligence)
; 6167.Lecture notes in artificial intelligence)
e
AISC 2010
Calculemus 2010
MKM 2010
Algebra--Data processing--Congresses
Mathematical analysis--Data processing--Congresses
Logic, Symbolic and mathematical--Congresses
QA
,
155
.
7
,.
E4
,
A35
,
2010
Autexier, Serge
Calculemus 201� (2010
MKM 201� (2010
AISC 2010(2010 :Paris, France)
ایران
QA,155.7,.E4,A35,2010
9783642141270.pdf
0
old catalog
e
BL
1
a
Y
