首页> 中文期刊> 《逻辑学研究》 >Conference Report on Modern Developments in Computability Theory and Its Applications

Conference Report on Modern Developments in Computability Theory and Its Applications

         

摘要

"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, exchanged different ideas, and discussed the future collaboration on computability theory. The following summaries the talks of this symposium.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号