Yazar
Mkm
9 cilt bulundu.
Cilt sonuçları
Mathematical knowledge management
MKM 2005 (2005 Bremen, Germany) · Springer
403 sayfa · 2006
Congresses / Mathematics / Information storage and retrieval systems / Data processing / Automatic theorem proving
Yükleniyor