Bokus

Jürgen Giesl – författare

Visar alla böcker från författaren Jürgen Giesl. Handla med fri frakt och snabb leverans.

4 produkter

  1. Jürgen Giesl - Term Rewriting and Applications, Häftad. Tillgänglighet: Lägg i varukorg

    Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

    Av Jürgen Giesl

    Häftad, 2005

    1130 kr

    Lägg i varukorg

    This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of …

  2. Jurgen Giesl - Term Rewriting and Applications, E-bok. Tillgänglighet: Lägg i varukorg

    Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

    Av Jurgen Giesl

    E-bok, 2005

    1502 kr

    Lägg i varukorg

    This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of …

  3. Jürgen Giesl, Reiner Hähnle - Automated Reasoning, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

    Av Jürgen Giesl, Reiner Hähnle

    Häftad, 2010

    1130 kr

    Lägg i varukorg

    This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the …

  4. Reiner Hahnle, Jurgen Giesl - Automated Reasoning, E-bok. Tillgänglighet: Lägg i varukorg

    Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

    Av Reiner Hahnle, Jurgen Giesl

    E-bok, 2010

    1502 kr

    Lägg i varukorg

    This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the …