Fachgebiet
Medium
  • 2
  • 2
Erscheinungsjahr
  • 2
  • 2
Autoren
  • 4
  • 2
Verlag
  • 3
  • 1
Preis
  • 2
  • 2
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4
4  Treffer  für „Giesl, Jürgen“


    Giesl Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32033-3
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

    Giesl Term Rewriting and Applications

    16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25596-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giesl / Hähnle Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14202-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giesl / Hähnle Automated Reasoning

    5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14203-1
    Medium: eBook
    Format: PDF
    Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular