Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a track on Systems and Projects descriptions.
Read More
Constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a track on Systems and Projects descriptions.
Read Less
Add this copy of Intelligent Computer Mathematics: 18th Symposium, to cart. $61.22, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2011 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Add this copy of Intelligent Computer Mathematics: 18th Symposium, to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2011 by Springer-Verlag Berlin and Heidelberg GmbH & Co. K.
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
11006386825
Shipping Options:
Standard Shipping: $4.85
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Lecture Notes in Artificial Intelligence ; Lecture Notes in Computer Science . XIII, 312 p. Intended for professional and scholarly audience.
Add this copy of Intelligent Computer Mathematics: 18th Symposium, to cart. $67.86, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by Springer.
Edition:
2011, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
