Generating Plans from Proofs (Q5012541)
From MaRDI portal
scientific article; zbMATH DE number 7433171
Language | Label | Description | Also known as |
---|---|---|---|
English | Generating Plans from Proofs |
scientific article; zbMATH DE number 7433171 |
Statements
Generating Plans from Proofs (English)
0 references
25 November 2021
0 references
access methods
0 references
hidden web
0 references
optimization
0 references