×

找到14份文件(结果1-14)

Prim最小生成树算法的关系代数验证。 (英语) Zbl 1400.68155号

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。计算机科学讲座笔记9965,51-68(2016)。
MSC公司:68兰特 05C22号 05C85号 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

围绕用户集成系统:在谚语的调色板中组合Isabelle、Maple和QEPCAD。 (英语) Zbl 1294.68125号

Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,115-119(2012)。
MSC公司:第68页第15页 60年第68季度 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

管理数学的正式框架。 (英语) Zbl 0982.68114号

Buchberger,Bruno(编辑)等人,《数学知识管理:MKM 2001》。第一届国际研讨会的电子会议记录,RISC,SchloßHagenberg,奥地利,2001年9月24日至26日。林茨:林茨大学,37页(2001年)。
MSC公司:第68页第15页 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 链接

标签非经典逻辑。Dov M.Gabbay的前言。 (英语) Zbl 1003.03001号

多德雷赫特:Kluwer学术出版社。xiv,291页(2000年)。
MSC公司:03-02 03B45号 07年3月 第68页第15页 05年3月 03B70号
PDF格式BibTeX公司 XML格式引用

定理证明器和计算机代数系统的规范和集成。 (英语) Zbl 0910.68194号

Calmet,Jacques(编辑)等人,《人工智能和符号计算》。1998年9月16日至18日在美国纽约州普拉茨堡举行的1998年AISC国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1476, 94-106 (1998).
MSC公司:第68页第15页 68瓦30
PDF格式BibTeX公司 XML格式引用

精益校对的两级方法。 (英语) Zbl 1407.68431号

Berardi,Stefano(编辑)等人,《证明和程序的类型》。1995年6月5日至8日,意大利都灵,国际研讨会TYPES’95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1158, 16-35 (1996).
MSC公司:第68页第15页 03B35型 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

定理和算法:Isabelle和Maple之间的接口。 (英语) 兹比尔0922.68080

Levet,A.H.M.(编辑),1995年符号和代数计算国际研讨会论文集,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约,纽约:ACM出版社。150-157 (1995).
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份