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