×

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

Wolfram语言中通用拓扑的语义表示。 (英语) Zbl 1367.68303号

Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日,在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能课堂讲稿》,163-177(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散Jordan曲线定理:一个用超映射在Coq中形式化的证明。 (英语) Zbl 1259.68179号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学论文集1,253-264,仅电子版(2008年)。
MSC公司:68吨15 54D05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

统一层类别中的递归和共递归定义。 (英语) Zbl 1126.68491号

Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。议事程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987136-150(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段