×

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

在建设性Scott子域中规划自我参考。 (英语) Zbl 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格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份