Computing in Horn clause theories /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin ; New York :
Springer-Verlag,
c1988.
|
| Loạt: | EATCS monographs on theoretical computer science
v. 16 |
| Những chủ đề: |
| Mô tả sách: | Includes indexes. |
|---|---|
| Mô tả vật lý: | xi, 322 p. : ill. ; 26 cm. |
| Thư mục: | Bibliography: p. [307]-316. |
| số ISBN: | 0387194274 (U.S.) 3540194274 |