Logic Programming
Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science)
Edición de la obra Logic Programming
| Autor | James H. Andrews |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | August 19, 2004 |
| Idioma | inglés |
| Páginas | 116 |
| Formato | Paperback |
| ISBN-13 | 9780521607544 |
| ISBN-10 | 052160754X |
| OCLC | 492496587 |
| Número de Cutter | A567l |