Akademibokhandeln

Volker Sorge – författare

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

4 produkter

  1. Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge - Intelligent Computer Mathematics, Häftad. Tillgänglighet: Lägg i varukorg

    Intelligent Computer Mathematics

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

    Av Manfred Kerber, Jacques Carette m. fl.

    Häftad, 2015

    729 kr

    Lägg i varukorg

  2. Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge - Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

    Av Jacques Calmet, Belaid Benhamou m. fl.

    Häftad, 2002

    729 kr

    Lägg i varukorg

  3. Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk - Intelligent Computer Mathematics, Häftad. Tillgänglighet: Lägg i varukorg

    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

    Av Serge Autexier, John Campbell m. fl.

    Häftad, 2008

    729 kr

    Lägg i varukorg

  4. Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge - Intelligent Computer Mathematics, Häftad. Tillgänglighet: Lägg i varukorg

    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

    Av Johan Jeuring, John Campbell m. fl.

    Häftad, 2012

    729 kr

    Lägg i varukorg