SAT2000
Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63)
Edición de la obra Sat2000
| Autor | Toby Walsh |
|---|---|
| Editorial | Ios Pr Inc |
| Fecha de publicación | January 2000 |
| Idioma | inglés |
| Páginas | 568 |
| Formato | Hardcover |
| ISBN-13 | 9781586030612 |
| ISBN-10 | 1586030612 |
| LCCN | 00102853 |
| Número de Cutter | W227s |