Summary goes here
Gardado en:
| Formato: | Libro |
|---|---|
| Idioma: | inglés |
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | c71c79c8-7ca4-4490-b15d-e51dbbd05a86 |
| isbn | 9780262161312 |
| issn | |
| language | eng |
| physical | xviii, 357 pages :illustrations ;24 cm |
| publication | – publisher: MIT Press dateOfPublication: ©1992 |
| publishDate | ©1992 |
| subjects | |
| title | Types in logic programming / edited by Frank Pfenning. |
| topic | Logic programming. |