search for books and compare prices
Ofer Strichman 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
Cover for 9783540741046 Cover for 9783662504963 Cover for 9783642093449 Cover for 9783642141850
cover image for 9783662504963

Hardcover:

9783662504963 | 2 edition (Springer-Verlag New York Inc, November 7, 2016), cover price $59.99
9783540741046 | Springer-Verlag New York Inc, July 4, 2008, cover price $69.95

Paperback:

9783642093449 | Springer Verlag, July 4, 2008, cover price $69.95

cover image for 9783642141850
Product Description: This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010...read more
By Ofer Strichman (editor) and Stefan Szeider (editor)

Paperback:

9783642141850 | Springer-Verlag New York Inc, October 30, 2010, cover price $129.00 | About this edition: This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.

displaying 1 to 2 | at end