A deductive solution for plan generation
- 1 June 1986
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 4 (2) , 115-132
- https://doi.org/10.1007/bf03037438
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Fundamentals of Artificial IntelligencePublished by Springer Nature ,1986
- Matings in matricesCommunications of the ACM, 1983
- Automated Theorem ProvingPublished by Springer Nature ,1982
- Toward automatic program synthesisCommunications of the ACM, 1971
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969