Logic for Programming, Artificial Intelligence, and Reasoning
Elemento
- Título
- Logic for Programming, Artificial Intelligence, and Reasoning
- Autores
- Davis
- Año Publicación
- 2015
- Editorial
- Springer Berlin Heidelberg
- ISBN
- 978-3-662-48898-0
- eBook
- 978-3-662-48899-7
- Colecciones
- Springer