MPG.eBooks - Search Results - "Lecture Notes in Artificial Intelligence"

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

“...Lecture Notes in Artificial Intelligence...”

Cover Image

2

Formal Concept Analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings

Published 2010

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”

Cover Image

3

Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”