Logic program synthesis from incomplete information /
57
Huvudupphovsman: | |
---|---|
Materialtyp: | |
Publicerad: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Ämnen: |
57
Huvudupphovsman: | |
---|---|
Materialtyp: | |
Publicerad: |
Boston, Mass. : Kluwer Academic Publishers,
1995
|
Ämnen: |