Program development in computational logic
a decade of research advances in logic-based program development
Edición de la obra Program development in computational logic
| Autor | Maurice Bruynooghe, Kung-Kiu Lau |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2004 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 538 |
| ISBN-10 | 3540221522 |
| OCLC | 55807927 |
| LCCN | 2004107507 |
| Serie | Lecture notes in computer science, · 3049 · Lecture notes in computer science. |