Ergebnisse filtern
-
- 5
-
- 1
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 5
- 2
- 1
- 1
- 1
-
- 5
-
- 4
- 1
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Middeldorp Rewriting Techniques and Applications
12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. ProceedingsErscheinungsjahr 2001Verlag: SpringerISBN: 978-3-540-42117-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Middeldorp / Sato Functional and Logic Programming
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66677-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Felty / Middeldorp Automated Deduction - CADE-25
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21400-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45220-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
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 Birthday1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30911-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort