Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
Edición de la obra Satisfiability Testing (Synthesis Lectures on Artificial Intelligence and Machine Learning)
| Autor | Henry Kautz |
|---|---|
| Editorial | Morgan & Claypool Publishers |
| Fecha de publicación | August 7, 2007 |
| Idioma | inglés |
| Formato | Paperback |
| ISBN-13 | 9781598291988 |
| ISBN-10 | 159829198X |
| OCLC | 141384441 |
| Número de Cutter | K21s |