Robert Nieuwenhuis
3 published titles
Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540429573
- Springer
- 2001
- Details
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540402543
- Springer
- 2003
- Details
Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540280057
- Springer
- 2005
- Details