Logic program synthesis from incomplete information /
57
Autore principale: | |
---|---|
Natura: | |
Pubblicazione: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Soggetti: |
57
Autore principale: | |
---|---|
Natura: | |
Pubblicazione: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Soggetti: |