All about Proofs, Proofs for All Editat de David Delahaye et al. 21 ian 2015 Paperback Preț: 133.53 lei 6-8 săpt.
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings Lecture Notes in Computer Science, nr. 6167 Editat de Serge Autexier et al. 30 iun 2010 Paperback Preț: 385.99 lei 3-5 săpt.