MPG.eBooks - Search Results - (mechanik OR mechanics)

Search alternatives:
mechanik » mechanism
mechanics » mechanisms , mechanical

Cover Image

1

Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10,...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... -- Some Considerations on the Usability of Interactive Provers -- Mechanized Mathematics -- Formal Proof...”

Cover Image

2

Intelligent Computer Mathematics : 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1...

Published 2008

Springer Berlin Heidelberg

“... of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference...”