Logic program synthesis (Q4305630)
From MaRDI portal
scientific article; zbMATH DE number 639137
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic program synthesis |
scientific article; zbMATH DE number 639137 |
Statements
Logic program synthesis (English)
0 references
14 August 2000
0 references
