Logic programming
formal methods and practical applications
Edición de la obra Logic Programming
| Autor | Christoph Beierle |
|---|---|
| Editorial | Elsevier |
| Fecha de publicación | 1995 |
| Lugar | Amsterdam, New York |
| Idioma | inglés |
| Páginas | 404 |
| ISBN-10 | 0444820922 |
| LCCN | 94040114 |
| Serie | Studies in computer science and artificial intelligence ; · 11 |
| Número de Cutter | B422l |