×

找到17个文档(结果1-17)

Kleene递推定理的有效性问题。 (英语) Zbl 1419.68058号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7734, 89-103 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在建设性Scott子域中规划自我参考。 (英语) 兹比尔1266.03051

Ambos Spies,Klaus(编辑)等人,《数学理论与计算实践》。2009年7月19日至24日,德国海德堡,第五届欧洲可计算性会议,CiE 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03072-7/pbk)。计算机科学讲座笔记5635,89-98(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于可计算语言的分类。 (英语) Zbl 1498.68133号

Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 225-236 (1997).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

机器感应没有革命性的范式转变。 (英语) Zbl 1527.68098号

Jantke,Klaus P.(编辑)等人,《算法学习理论》。1995年10月18日至20日,第六届国际研讨会,ALT’95,日本福冈。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。997, 153-168 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可学习性:可接受的、有限的和超简单的语言。 (英语) Zbl 1418.68109号

Lingas,Andrzej(编辑)等人,《自动化,语言和编程》。第20届国际学术讨论会,ICALP 93,瑞典隆德,1993年7月5日至9日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。700, 289-300 (1993).
MSC公司:第68季度32
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件