Cordell Green

SRI International

论文数

2

总引用数

749

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 749 次引用
Calculus (dental)2 · 749 次引用
Mathematics2 · 749 次引用
Automated theorem proving1 · 463 次引用
Construct (python library)1 · 463 次引用
Epistemology1 · 463 次引用
Extension (predicate logic)1 · 463 次引用
Agency (philosophy)1 · 463 次引用
Algebra over a field1 · 463 次引用
Algorithm1 · 463 次引用
Simple (philosophy)1 · 463 次引用
State (computer science)1 · 463 次引用

主要成就

2
H 指数
2
论文
749
总引用数
375
篇均引用
🏆 最高被引论文
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 次引用 · 1981
📈 最高产年份: 1981 (1 论文)
🤝 主要合作者: 0
🏛 所属机构: SRI International

代表论文

  1. 1
    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 次引用 · 1981
  2. 2
    Application of Theorem Proving to Problem Solving
    286 次引用 · 1969
尚未生成