Logic program synthesis from incomplete information /
57
主要作者: | |
---|---|
格式: | |
出版: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
主題: |
57
主要作者: | |
---|---|
格式: | |
出版: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
主題: |