Bookstore


Subjects




 
Satisfiability Testing
By Henry Kautz, Bart Selman, Ronald Brachman, Thomas Dietterich

Paperback © 2007
ISBN 159829198X
Availability: Out of stock
Price: US $40.00 Add to Cart


 
Home | Synthesis | Search | Profile | Access | Author | Help | About
Technology Partner - Atypon Systems, Inc.