Can proofs by animated by games?
Can proofs by animated by games?
复制标题
可以通过游戏来证明动画吗？
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Susumu
中科院分区：
文献类型：
--
作者：
Hayashi;Susumu
登录
查看更多内容
书评：“学习的系统：学习理论导论，第二版”，SANJAY JAIN、DANIEL OSHERSON、JAMES S. ROYER 和 ARUN SARMA
DOI：
10.1142/s1469026801000160
发表时间：
2001
期刊：
影响因子：
--
作者：
R. Sloan
通讯作者：
R. Sloan
PX，计算逻辑
DOI：
--
发表时间：
1988
期刊：
影响因子：
--
作者：
S. Hayashi;H. Nakano
通讯作者：
H. Nakano
语言游戏
DOI：
--
发表时间：
1983
期刊：
影响因子：
--
作者：
J. Hintikka
通讯作者：
J. Hintikka
经典逻辑作为极限完成
影响因子：
0.5
作者：
S. Berardi
通讯作者：
S. Berardi
DOI：
--
发表时间：
2004
期刊：
Proceedings of 19^<th> annual IEEE symposium on logic in computer science
影响因子：
--
作者：
Y.Akama;S.Berardi;U.Kohlenbach;S.Hayashi
通讯作者：
S.Hayashi