Holger H. Hoos (EDT), David G. Mitchell (EDT) Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2005

EAN/ISBN13: 978-3-540-31580-3

ISBN10: 3-540-31580-2

You can ask us about this book and we'll send an answer to your e-mail.