Logic program synthesis from incomplete information /
57
第一著者: | |
---|---|
フォーマット: | |
出版事項: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
主題: |
57
第一著者: | |
---|---|
フォーマット: | |
出版事項: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
主題: |