Mathematical aspects of logic programming semantics /
Includes bibliographical references (p. 243-264) and index
| Những tác giả chính: | , |
|---|---|
| Định dạng: | |
| Ngôn ngữ: | eng |
| Được phát hành: |
Boca Raton, F.L. : CRC Press,
c201
|
| Những chủ đề: |