کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابMathematical knowledge management
پدیدآورنده: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
رده :
QA
,
76
.
95
,.
I565
,
2003
Mathematical knowledge management :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics ; Data processing ; Congresses ; Information storage and retrieval systems ; Mathematics ; Congresses ; Automatic theorem proving ; Congresses ;
Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
پدیدآورنده: Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2594
Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
پدیدآورنده: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3119
