Logic program synthesis from incomplete information /
57
Autor Principal: | |
---|---|
Formato: | |
Publicado: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Subjects: |
57
Autor Principal: | |
---|---|
Formato: | |
Publicado: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Subjects: |