Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
---|---|---|---|---|---|
Logic Colloquium '99 | Digital | 978-1-108-58348-0 | 2020 | Jan Van Eijck · Albert Visser | |
Logic Colloquium '99: Lecture Notes in Logic 17 | Hardcover | 978-1-56881-199-4 | 2004 | Jan Van Eijck · Albert Visser | |
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday | Taschenbuch | 978-3-540-30911-6 | 2008 | Roel de Vrijer · Femke van Raamsdonk · Aart Middeldorp | |
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings | Paperback | 978-3-662-19564-2 | 2014 | ||
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings | Taschenbuch | 978-3-540-22153-1 | 2008 |
A K Peters/CRC Press · Cambridge University Press · Springer