A THEORY OF PLANS
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Equality-based binary resolutionJournal of the ACM, 1986
- Special relations in automated deductionJournal of the ACM, 1986
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- Canonical forms and unificationPublished by Springer Nature ,1980
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971
- Application of Theorem Proving to Problem SolvingPublished by Defense Technical Information Center (DTIC) ,1969