Logic program synthesis from incomplete information /
57
Hovedforfatter: | |
---|---|
Format: | |
Udgivet: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Fag: |
57
Hovedforfatter: | |
---|---|
Format: | |
Udgivet: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Fag: |