| 可计算理论的现代发展及其应用会议报道(英文) |
| |
| 引用本文： | 何健坤.可计算理论的现代发展及其应用会议报道(英文)[J].逻辑学研究,2012(3):82-86. |
| |
| 作者姓名： | 何健坤 |
| |
| 作者单位： | Institute of Logic and Cognition,Sun Yat-sen University |
| |
| 基金项目： | This symposium is supported by Sino-German Center in Beijing. |
| |
| 摘 要： | "The 2012 China-Germany Symposium on Modern Development in Computability Theory and Its Applications" was concerned with new developments in computability theory,and aimed at the cooperation of Chinese and German computation scientists.It was held in Sun Yat-sen University,Guangzhou,China,during 17th to 22nd,September.During the symposium,scientists shared their recent works,
|
| 关 键 词： | 现代发展 计算理论 会议报道 应用 |
Conference Report on Modern Developments in Computability Theory and Its Applications |
| |
| Jiankun He.Conference Report on Modern Developments in Computability Theory and Its Applications[J].Studies in Logic,2012(3):82-86. |
| |
| Authors: | Jiankun He |
| |
| Institution: | Jiankun He Institute of Logic and Cognition,Sun Yat-sen University |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
