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
$ 60,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 23 de jun. - 10 de jul.
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 |
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
