Hoppa till sidans huvudinnehåll

Volker Sorge - Böcker

Visar alla böcker från författaren Volker Sorge.
4 produkter

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

AvManfred Kerber,Jacques Carette m. fl.

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

AvJacques Calmet,Belaid Benhamou m. fl.

Häftad, Engelska, 2002

699 kr

Skickas inom 10-15 vardagar

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

AvSerge Autexier,John Campbell m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar

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, July 8-13, 2012, Proceedings

AvJohan Jeuring,John Campbell m. fl.

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar