Hoppa till sidans huvudinnehåll

Volker Sorge – författare

Visar alla böcker från författaren .
4 produkter
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge - Intelligent Computer Mathematics, Häftad
Del 9150 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

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

AvManfred Kerber,Jacques Carettem. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge - Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Häftad

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 Benhamoum. fl.

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk - Intelligent Computer Mathematics, Häftad

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 Campbellm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge - Intelligent Computer Mathematics, Häftad

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 Campbellm. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar