首页 | 本学科首页   官方微博 | 高级检索  
     


Inductive inference and computable numberings
Authors:Klaus Ambos-Spies  Serikzhan BadaevSergey Goncharov
Affiliation:
  • a University of Heidelberg, Institut für Informatik, Im Neuenheimer Feld 294, D-69120 Heidelberg, Germany
  • b Al-Farabi Kazakh National University, 71 Al-Farabi ave., Almaty 050038, Kazakhstan
  • c Sobolev’s Math. Institute, 4 Koptyug ave., Novosibirsk 630090, Russia
  • Abstract:
    Keywords:Computably enumerable sets  Computable numberings  Inductive inference
    本文献已被 ScienceDirect 等数据库收录!
    设为首页 | 免责声明 | 关于勤云 | 加入收藏

    Copyright©北京勤云科技发展有限公司  京ICP备09084417号