首页 /研究 /Sensing Actions, Time, and Concurrency in the Situation Calculus
OTHER

Sensing Actions, Time, and Concurrency in the Situation Calculus

Stephen Zimmerbaum, Richard B. Scherl

发表年份
2001
引用次数
8

关键词

ConcurrencyComputer scienceFrame (networking)Situation calculusPi calculusIndexicalityTheoretical computer scienceProcess calculusProgramming languageEpistemology

相关论文

查看 OTHER 分类全部论文