Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Edición de la obra Logic for programming artificial intelligence and reasoning
| Autor | Miki Hermann, Andrei Voronkov |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540482826 |
| Número de Cutter | H552l |