عنوان
پدید آورنده
موضوع
رده
QA,76.95,.I565,2003
QA
,
76
.
95
,.
I565
,
2003
کتابخانه
محل استقرار
acid-free paper)
3540005684 (softcover
IR
ebook28400
انگلیسی
IR
Mathematical knowledge management
[Electronic Resource]
:second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
/ Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Berlin ;New York
: Springer,
, c2003.
x, 223 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 2594)
e
Includes bibliographical references and index.
Mathematics--Data processing--Congresses
Information storage and retrieval systems--Mathematics--Congresses
Automatic theorem proving--Congresses
510
,
285
QA
,
76
.
95
,.
I565
,
2003
Asperti, Andrea
Buchberger, Bruno
Davenport, James Harold� 1953
International Conference on Mathematical Knowledge Management(2nd :2003 :Bertinoro, Italy)
ایران
510,285
3540005684.pdf
0
old catalog
e
BL
1
a
Y
