Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
by Antonella Bacchieri, Giovanni Della Cioppa
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 09-Jun-2005 |
| ISBN-10: | 3540262768 |
| ISBN-13: | 9783540262763 |
| Binding Type: | Paperback |
| Weight: | 1.82 lbs |
| Pages: | pp. 508, Illus. |
The Title "Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings ... Computer Science and General Issues" is written by Antonella Bacchieri. This book was published in the year 2005. The ISBN number 3540262768|9783540262763 is assigned to the Paperback version of this title. This book has total of pp. xii + 492 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings ... Computer Science and General Issues is currently Available with us.