Buy Used and New RobertNieuwenhuis Books

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

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

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