×

找到15个文档（结果1-15）

最新 引文 相关性
布伦丹·马奥尼

高阶逻辑中的表达式求精。 （英语） Zbl 0924.68120号

吉姆·格兰迪（编辑）等人，《国际精炼研讨会和正式方法太平洋1998》。98年IRW/FMP会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。离散数学和理论计算机科学的Springer系列。230-249 (1998).
MSC公司：68问题55 68N99型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{B.Mahony}，in：国际精炼车间和正式方法太平洋1998。IRW/FMP’98会议记录。澳大利亚堪培拉，1998年9月29日至10月2日。柏林：斯普林格。230-249（1998年；Zbl 0924.68120）
雅克·弗莱里奥特。;劳伦斯·C·鲍尔森。

结合非标准分析和几何定理证明，应用于牛顿原理。 （英语） Zbl 0924.03022号

Kirchner，Claude（编辑）等人，《自动扣除-CADE-15》。第十五届国际会议，德国林道，1998年7月5日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1421，3-16（1998年）。
MSC公司：03B35型 26E35岁 05年3月 68吨15 26-04
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Fleuriot}和\textit{L.C.Paulson}，莱克特。注释计算。科学。1421年3月16日（1998年；Zbl 0924.03022）
杰里米·道森。;拉杰夫·戈尔

使用伊莎贝尔的经典情态时态逻辑的机械化。 （英语） Zbl 0928.03006号

Antoniou，Grigoris（编辑）等人，《人工智能高级主题》。1998年7月13日至17日，第11届澳大利亚联合会议，AI'98，澳大利亚布里斯班。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1502, 107-118 (1998).
MSC公司：03B35型 03B44号 03B45号 03B42号 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Dawson}和\textit{R.Goré}，莱克特。注释计算。科学。1502、107--118（1998年；Zbl 0928.03006）
Hajime Sawamura;浅沼，大作

与HOL机械化相关逻辑。 （英语） Zbl 0927.03028号

吉姆·格兰迪（编辑）等人，《高阶逻辑中的定理证明》。第11届国际会议，98年TPHOL。澳大利亚堪培拉，1998年9月27日至10月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第1479、443-460页（1998年）。
MSC公司：03B35型 03B47号 03B15号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Sawamura}和\textit{D.Asanuma}，莱克特。注释计算。科学。1479443-460（1998年；Zbl 0927.03028）
奥拉夫·米勒

I/O自动机及其超越：Isabelle中的时态逻辑和抽象。 （英语） Zbl 0927.03024号

吉姆·格兰迪（编辑）等人，《高阶逻辑中的定理证明》。第11届国际会议，98年TPHOL。澳大利亚堪培拉，1998年9月27日至10月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1479, 331-348 (1998).
MSC公司：03B35型 68吨15 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Müller}，莱克特。注释计算。科学。1479、331--348（1998年；Zbl 0927.03024）
沃尔夫冈·纳拉斯切夫斯基;托比亚斯·尼普科

已验证类型推断：Isabelle/HOL中的算法\（{mathcal W}\）。 （英语） Zbl 0927.03025号

Giménez，Eduardo（编辑）等人，证明和程序的类型。1996年12月15日至19日，法国奥索瓦，96年国际研讨会类型。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1512, 317-332 (1998).
MSC公司：03B35型 03B40型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Naraschewski}和\textit{T.Nipkow}，莱克特。注释计算。科学。1512317-332（1998年；Zbl 0927.03025）
弗兰克·芬宁;卡斯滕·舒尔曼

存在符号定义时的等式和统一算法。 （英语） Zbl 0917.68200号

Galmiche，Didier（编辑），类型理论语言中的证明搜索研讨会（结合CADE-15会议），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。17，电子文件第7号（1998年）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{F.Pfenning}和\textit{C.Schurmann}，in：类型理论语言中的证明搜索研讨会（与CADE-15会议联合），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔。第7号电子文件（1998；Zbl 0917.68200）
全文： 链接
伯托利，P.G。;J.卡梅特。;Giunchiglia，F。;霍曼，K。

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

Calmet，Jacques（编辑）等人，《人工智能和符号计算》。1998年9月16日至18日在美国纽约州普拉茨堡举行的1998年AISC国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1476, 94-106 (1998).
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Bertoli}等人，Lect。注释计算。科学。1476、94-106（1998年；Zbl 0910.68194）
法比奥·马萨奇

简化：命题和模态表的通用约束传播技术。 （英语） Zbl 0903.03012号

de Swart，Harrie（编辑），用分析表和相关方法进行自动推理。1998年5月5日至8日，荷兰Oisterwijk，1998年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1397, 217-231 (1998).
MSC公司：03B35型 68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.马萨奇}，莱克特。注释计算。科学。1397、217--231（1998；Zbl 0903.03012）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

主字段

全部的 前3名

软件