Institute for Pharmaeconomic Research

🇦🇹 AT

论文数

1

总引用数

50

H-Index

1

研究人员

1

关于

暂无简介。

研究焦点

Action (physics)1 · 50 次引用
Artificial intelligence1 · 50 次引用
Axiom1 · 50 次引用
Completeness (order theory)1 · 50 次引用
Computer science1 · 50 次引用
Decidability1 · 50 次引用
Dynamic logic (digital electronics)1 · 50 次引用
Frame (networking)1 · 50 次引用
Frame problem1 · 50 次引用
Linear temporal logic1 · 50 次引用

主要成就

1
H 指数
1
论文
50
总引用数
1
教职员与研究人员
🏆 最高被引论文
Reasoning about action and change
50 次引用 · 1996
📊 篇均引用: 50
📈 最高产年份: 1996 (1)
🔬 研究焦点: Action (physics), Artificial intelligence, Axiom, Completeness (order theory), Computer science, Decidability

代表论文

  1. 1
    Reasoning about action and change
    50 次引用 · 1996

教职员与研究人员

…

尚未生成