Ergebnisse filtern
Fachgebiet
Medium
  • 5
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
Verlag
  • 5
Preis
  • 4
  • 1
Sprachen
  • 5
Verfügbarkeit
  • 5
Katalog
  • 5

Mathematik | Informatik

5  Treffer  für „Middeldorp, Aart“
Alle Filter löschen
    Middeldorp | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Middeldorp Rewriting Techniques and Applications

    12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42117-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / Sato | Functional and Logic Programming | Buch | Sack Fachmedien

    Middeldorp / Sato Functional and Logic Programming

    4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66677-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felty / Middeldorp | Automated Deduction - CADE-25 | Buch | Sack Fachmedien

    Felty / Middeldorp Automated Deduction - CADE-25

    25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21400-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Middeldorp / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

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

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Middeldorp / van Oostrom / van Raamsdonk | Processes, Terms and Cycles: Steps on the Road to Infinity | Buch | Sack Fachmedien

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

    Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
    1. Auflage 2005
    Verlag: Springer
    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