عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook2473
eng
Intelligent computer mathematics
:AISC 2010. ; Calculemus 2010. ; MKM 2010. ;
Berlin ;New York :
: Springer,
, 2010.
Print
Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
Autexier, Serge. ;
old catalog
