Bokus

Masakazu Suzuki – författare

Visar alla böcker från författaren Masakazu Suzuki. Handla med fri frakt och snabb leverans.

2 produkter

  1. 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

    568 kr

    Lägg i varukorg

    This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on …

  2. Freek Wiedijk, Masakazu Suzuki, Volker Sorge, Julio Rubio, John Campbell, Serge Autexier - Intelligent Computer Mathematics, E-bok. 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 Freek Wiedijk, Masakazu Suzuki m. fl.

    E-bok, 2008

    755 kr

    Lägg i varukorg

    This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on …