Logic program synthesis from incomplete information /
57
Tác giả chính: | |
---|---|
Định dạng: | |
Được phát hành: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Những chủ đề: |
57
Tác giả chính: | |
---|---|
Định dạng: | |
Được phát hành: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Những chủ đề: |