search for books and compare prices
Robert Nieuwenhuis has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings
cover image for 9783540402541
Product Description: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions...read more
By International Conference on Rewriting Techniques and Applications (other contributor) and Robert Nieuwenhuis
See complete details on each edition (2 editions listed)

Paperback:

9783540402541 | Springer-Verlag New York Inc, August 1, 2003, cover price $139.00 | About this edition: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.
9783540402541 | Springer-Verlag New York Inc, August 1, 2003, cover price $139.00 | About this edition: The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.

Logic for Programming Artificial Intelligence, and Reasoning: Proceedings of the 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001
cover image for 9783540429579
By Robert Nieuwenhuis (editor) and Andrei Voronkov (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540429579 | Springer Verlag, January 1, 2002, cover price $169.00

displaying 1 to 2 | at end