Applied Pi-Calculusの計算論的健全性のパーズを用いない証明
Applied Pi-Calculusの計算論的健全性のパーズを用いない証明
复制标题
应用 Pi 微积分计算稳健性的无解析证明
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
川本裕輔
中科院分区：
文献类型：
--
作者：
Yusuke Kawamoto;Hideki Sakurada;Masami Hagiya;川本裕輔;川本裕輔
SIGGRAPH 84 征集 Omnimax 电影
DOI：
10.1145/988584.988591
发表时间：
1983
期刊：
Computers & Graphics
影响因子：
--
作者：
N. Max
通讯作者：
N. Max
基于平衡 CRT 的立体显示的实现和集成，用于虚拟环境应用中的交互式视点控制
DOI：
10.1117/12.19898
发表时间：
1990
期刊：
--
影响因子：
--
作者：
I. McDowall;M. Bolas;S. Pieper;S. Fisher;J. Humphries
通讯作者：
J. Humphries
The Eyephone：头戴式立体显示器
DOI：
10.1117/12.19902
发表时间：
1990
期刊：
--
影响因子：
--
作者：
Michael A. Teitel
通讯作者：
Michael A. Teitel