Cordell Green
Papers
2
Total Citations
749
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 749 citations
Calculus (dental)2 · 749 citations
Mathematics2 · 749 citations
Automated theorem proving1 · 463 citations
Construct (python library)1 · 463 citations
Epistemology1 · 463 citations
Extension (predicate logic)1 · 463 citations
Agency (philosophy)1 · 463 citations
Algebra over a field1 · 463 citations
Algorithm1 · 463 citations
Simple (philosophy)1 · 463 citations
State (computer science)1 · 463 citations
Key Achievements
2
H-Index
2
Papers
749
Total Citations
375
Avg Citations/Paper
🏆 Most Cited Paper
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.
463 citations · 1981
📈 Most Prolific Year: 1981 (1 Papers)
🤝 Key Collaborators: 0
🏛 Institutions: SRI International
Top Papers
- 1
- 2Application of Theorem Proving to Problem Solving286 citations · 1969
Not generated yet