AboutSign inJoin
Intelligent Computer Mathematics

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

John Campbell, Volker Sorge, Serge Autexier, Julio Rubio, Masakazu Suzuki, Freek Wiedijk — 2008
mathematicians, computer scientists, and engineers in their every-day business. In total, 37 papers were submitted to AISC.
Sign up to use