×

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

对称变换:其方程理论的数据类型和算法程度。 (英文) Zbl 1524.68199号

Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。13560, 63-80 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将可计算性理论推广到抽象代数。 (英文) 兹比尔1403.03077

乔瓦尼(编辑)等,《图灵的革命》。他的可计算性思想的影响。查姆:Birkhäuser/Springer(ISBN 978-3-319-22155-7/hbk;978-3-3169-22156-4/电子书)。127-160 (2015).
MSC公司:03D75号 03D78号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

预言和建议作为衡量标准。 (英文) Zbl 1166.68318号

Calude,Cristian S.(编辑)等人,《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85193-6/pbk)。计算机科学课堂讲稿5204,33-50(2008)。
MSC公司:2005年第68季度 2010年第68季度 68问题30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

牛顿运动机器的编程实验程序。 (英文) Zbl 1143.68015号

Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028,52-66(2008)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

牛顿机器对实数的实验计算。 (英文) Zbl 1130.68051号

MSC公司:2005年第68季度 03层60 70A05型 70F99型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份