Johan Jeuring
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J Johan Jeuring 2012 edition

Name: Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J
Price: 54.49 USD
Availability: OutOfStock
Author: Johan Jeuring

Price

$ 54.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, J

Johan Jeuring

2012 edition

Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012 and more.

492 pages, 117 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	June 27, 2012
ISBN13	9783642313738
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	473
Dimensions	155 × 235 × 25 mm · 680 g
Language	French
Editor	Campbell, John
Editor	Carette, Jacques
Editor	Dos Reis, Gabriel
Editor	Jeuring, Johan
Editor	Sojka, Petr
Editor	Sorge, Volker
Editor	Wenzel, Makarius