Serge Autexier profile picture

Serge Autexier

Is this your author profile? Create an account to customize it!

Stand Alone

Intelligent Computer Mathematics 10th International Conference Aisc 2010 17th Symposium Calculemus 2010 And 9th International Conference Mkm 2010 Paris France July 510 2010 Proceedings
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
Intelligent Computer Mathematics
Intelligent Computer Mathematics
Workshop on Trustworthy Software