Fachgebiet
Medium
  • 5
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 3
  • 1
Preis
  • 4
  • 1
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5

Mathematik | Informatik

5  Treffer  für „Middeldorp, Aart“


    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sato / Middeldorp Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Middeldorp / Felty Automated Deduction - CADE-25

    25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21400-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    McMillan / Voronkov / Middeldorp Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Middeldorp / de Vrijer / van Oostrom Processes, Terms and Cycles: Steps on the Road to Infinity

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30911-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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