Yazar
Serge Autexier
3 cilt bulundu.
Cilt sonuçları
Intelligent Computer Mathematics 9th International Conference Aisc 2008 15th Symposium Calculemus 2008 7th International Conference Mkm 2008 Birmingham Uk July 28 August 1 2008 Proceedings
Serge Autexier · Springer
Sayfa sayısı yok · 2008
Algebra, data processing / Artificial intelligence / Computer networks, congresses / Data mining / Electronic data processing
Intelligent Computer Mathematics 10th International Conference Aisc 2010 17th Symposium Calculemus 2010 And 9th International Conference Mkm 2010 Paris France July 510 2010 Proceedings
Serge Autexier · Springer
Sayfa sayısı yok · 2010
Computer science / Artificial intelligence / Congresses / Algebra / Symbolic and mathematical Logic
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P. D. F. Ion, Laurence Rideau · Springer
Sayfa sayısı yok · 2010
Kategori yok