عنوان

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

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران