Publication | Closed Access
Strips: A new approach to the application of theorem proving to problem solving
4K
Citations
6
References
1971
Year
EngineeringAutomated ReasoningProof ComplexityFormal MethodsProof AssistantNew ApproachAutomated ProofFormal Mathematical ReasoningComputer ScienceCombinatorial OptimizationFormal VerificationComputer-assisted Reasoning
| Year | Citations | |
|---|---|---|
Page 1
Page 1