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