A.M. · Aart Middeldorp,Femke Van Raamsdonk Vincent Van Oostrom
Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings | 978-3-319-21400-9 | 2015 | Amy P. Felty |
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings | 978-3-540-66677-6 | 2008 | Taisuke Sato |
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Notes in Computer Science, Band 8312) | 978-3-642-45220-8 | 2013 | Ken McMillan · Andrei Voronkov |
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday | 978-3-540-30911-6 | 2008 | Roel de Vrijer · Femke van Raamsdonk · Vincent van Oostrom |
Rewriting Techniques and Applications: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings | 978-3-540-42117-7 | 2008 |