Filtrera

Ämne
  • (4)
  • (2)
Format
  • (2)
  • (2)
Leveranstid
  • (2)
  • (3)

Jurgen Giesl - Böcker

Visar alla böcker av Jurgen Giesl. Handla med fri frakt och snabb leverans!

Sortering:

  1. Term Rewriting and Applications

    av Jurgen Giesl

    Häftad, Engelska, 2005-04-01
    1568
    Köp
    Skickas inom 7-10 vardagar.
    Term Rewriting and Applications

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

    Läs mer »

  2. Term Rewriting and Applications E-bok

    av Jurgen Giesl

    E-bok, Engelska, 2005-03-31
    1562
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Term Rewriting and Applications

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

    Läs mer »

  3. Automated Reasoning

    av Jurgen Giesl, Reiner Hahnle

    Häftad, Engelska, 2010-06-30
    2209
    Köp
    Skickas inom 5-8 vardagar.
    Automated Reasoning

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

    Läs mer »

  4. Automated Reasoning E-bok

    av Jurgen Giesl, Reiner Hahnle

    E-bok, Engelska, 2010-07-13
    1462
    Ladda ned
    Ladda ned och läs i e-boksläsare.
    Automated Reasoning

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

    Läs mer »