The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New RobertNieuwenhuis Books

Results for RobertNieuwenhuis

Showing 1 to 3 of 3 results
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science) Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science) by Robert Nieuwenhuis, Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science)

by Robert Nieuwenhuis, Andrei Voronkov


ISBN 13: 9783540429579

Format: Illustrated (758 pages)
Publisher: Springer
Published: 21 Nov 2001

Save for later

 
New : $132.56  
New : $132.56
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings: 2706 (Lecture Notes in Computer Science) Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings: 2706 (Lecture Notes in Computer Science) by Robert Nieuwenhuis

Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings: 2706 (Lecture Notes in Computer Science)

by Robert Nieuwenhuis


ISBN 13: 9783540402541

Format: Paperback (532 pages)
Publisher: Springer
Published: 27 May 2003

Save for later

 
New : $111.38  
New : $111.38
Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... 3632 (Lecture Notes in Computer Science) Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... 3632 (Lecture Notes in Computer Science) by Robert Nieuwenhuis

Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 2005 Proceedings: 20th International ... 3632 (Lecture Notes in Computer Science)

by Robert Nieuwenhuis


ISBN 13: 9783540280057

Format: Illustrated (476 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

 
New : $100.78  
New : $100.78