Recomienda este artículo a tus amigos:
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science Andrews, James H. (Simon Fraser University, British Columbia)
Precio
Mex$ 1.135
sin IVA
Pedido desde almacén remoto
Entrega prevista 11 - 27 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Andrews, James H. (Simon Fraser University, British Columbia)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Logic Programming: Operational Semantics and Proof Theory - Distinguished Dissertations in Computer Science
Andrews, James H. (Simon Fraser University, British Columbia)
The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.
120 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de agosto de 2004 |
| ISBN13 | 9780521607544 |
| Editores | Cambridge University Press |
| Páginas | 120 |
| Dimensiones | 189 × 246 × 6 mm · 230 g |
| Lengua | Inglés |
