Nieuwenhuis, Robert · R.N. · R. NIEUWENHUIS · Robert N.
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... Notes in Computer Science , Band 3632) | 978-3-540-28005-7 (3-540-28005-7) | 2008 | |
| Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science , Band 2250) | 978-3-540-42957-9 (3-540-42957-3) | 2001 | Andrei Voronkov |
| Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings | 978-3-540-40254-1 (3-540-40254-3) | 2008 | |