Planning principles for problem solving in automatic program synthesis systems (Q5930819)
From MaRDI portal
scientific article; zbMATH DE number 1592105
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Planning principles for problem solving in automatic program synthesis systems |
scientific article; zbMATH DE number 1592105 |
Statements
Planning principles for problem solving in automatic program synthesis systems (English)
0 references
26 April 2001
0 references
Dekart
0 references
first-order predicate logic
0 references
