Logic Programming
Operational Semantics and Proof Theory
Edición de la obra Logic Programming
| Autor | James H. Andrews |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9780511882029 |
| Número de Cutter | A567l |
Operational Semantics and Proof Theory
Edición de la obra Logic Programming
| Autor | James H. Andrews |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9780511882029 |
| Número de Cutter | A567l |