Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Logic for programming artificial intelligence and reasoning
| Autor | Moshe Y. Vardi, Andrei Voronkov |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 5, 2003 |
| Idioma | inglés |
| Páginas | 437 |
| Formato | Paperback |
| ISBN-13 | 9783540201014 |
| ISBN-10 | 3540201017 |
| OCLC | 53007054 |