Zohar Manna

Stanford University

论文数

2

总引用数

77

H-Index

2

关于

暂无简介。

研究焦点

Programming language2 · 77 次引用
Unification2 · 77 次引用
Block (permutation group theory)2 · 77 次引用
Mathematical proof2 · 77 次引用
Mathematics2 · 77 次引用
Plan (archaeology)2 · 77 次引用
Computer science2 · 77 次引用
Artificial intelligence2 · 77 次引用
Theoretical computer science2 · 77 次引用
Resolution (logic)1 · 66 次引用
Rule of inference1 · 66 次引用
Axiom1 · 66 次引用

主要成就

2
H 指数
2
论文
77
总引用数
39
篇均引用
🏆 最高被引论文
How to clear a block: A theory of plans
66 次引用 · 1987
📈 最高产年份: 1987 (1 论文)
🤝 主要合作者: 1
🏛 所属机构: Stanford University

代表论文

  1. 1
    How to clear a block: A theory of plans
    66 次引用 · 1987
  2. 2
    How to clear a block: Plan formation in situational logic
    11 次引用 · 1986

主要合作者

RWRichard Waldinger2 篇合著论文
尚未生成