Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
Edición de la obra Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
| Autor | Edmund M. Clarke |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2011 |
| ISBN-13 | 9783642175107 |
| LCCN | 2010939948 |