State-Transition Computation Models and Program Correctness Thereon Proceedings of the 6th international conference on intelligent technologies
State-Transition Computation Models and Program Correctness Thereon Proceedings of the 6th international conference on intelligent technologies
复制标题
状态转移计算模型及其程序正确性第六届国际智能技术会议论文集
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Kiyoshi Akama
中科院分区：
文献类型：
--
作者：
Saito;H.;石川貴彦;石川貴彦;Kiyoshi Akama;Kiyoshi Akama
