Logic program synthesis from incomplete information /
57
Auteur principal: | |
---|---|
Format: | |
Publié: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Sujets: |
57
Auteur principal: | |
---|---|
Format: | |
Publié: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Sujets: |