×

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

最新的 引文 关联
文森特·拉里;科恩、利隆;马克·比克福德

由单调库支持的验证定理证明器后端。 （英文） Zbl 1409.68262号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.Rahli}等人，EPiC Ser。计算。57、564--582（2018年；Zbl 1409.68262）
全文： 内政部
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti;亚历山大·托梅斯库一世。

在集合和图形上。逻辑和组合学的观点。 （英文） Zbl 1382.05002号

查姆：施普林格（ISBN 978-3-319-54980-4/hbk；978-3-3169-54981-1/电子书）。xix，275页。(2017).
审核人：Ayesha Shabbir（古吉拉特邦）
MSC公司：05-02 03-02 03E05号 03E75型 05二氧化碳 05C38号 05C40号 05C45号 05C63号 05年6月15日 05C90年 68兰特 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Omodeo}等人，《关于集合和图形》。逻辑和组合学的观点。查姆：施普林格（2017；Zbl 1382.05002）
全文： 内政部
水池县Hirahara

在众多预言家中确定一个诚实的预言家。 （英文） Zbl 1388.68120号

David Zuckerman（编辑），第30届计算复杂性会议，CCC’15，波特兰，俄勒冈州，美国，2015年6月17日至19日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-81-1）。LIPIcs–莱布尼茨国际信息学论文集33，244-263（2015）。
MSC公司：65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Hirahara}，LIPIcs——莱布尼茨国际程序。通知。33、244--263（2015年；Zbl 1388.68120）
全文： 内政部 arXiv公司
马克·达马斯;埃里克·马丁·多雷尔;安妮克·特鲁弗特;米歇尔·文图

合作TU-games的正式理论。 （英文） Zbl 1273.91030号

Torra，Vicenç（编辑）等人，《人工智能决策建模》。2009年11月30日至12月2日，在日本Awaji岛举行的2009年MDAI第六届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04819-7/pbk）。计算机科学课程讲稿5861。人工智能课堂讲稿，81-91（2009）。
MSC公司：91A12号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Daumas}等人，Lect。注释计算。科学。5861、81-91（2009年；Zbl 1273.91030）
全文： 内政部
安德鲁斯，彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟

TPS：经典类型理论的定理证明系统。 （英文） 兹伯利1226.03026

Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数学逻辑与基础》，367-399（2008）。
MSC公司：03B35型 03B15号机组 68吨15 01A75号
PDF格式BibTeX公司 XML格式引用
\textit{P.B.Andrews}等人，Stud.Log。（伦敦）17，367--399（2008；Zbl 1226.03026）
马特·考夫曼;J.Strother摩尔

适用通用LISP的计算逻辑。 （英文） Zbl 1066.68120号

Dale Jacquette（编辑），哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社（ISBN 0-631-21671-5/hbk）。布莱克韦尔同伴菲洛斯（Blackwell Companions Philos）。22, 724-741 (2002).
审核人：马吕斯·齐曼德（汤森）
MSC公司：68吨15 68甲15 60年第68季度 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kaufmann｝和\textit｛J.S.Moore｝，在：哲学逻辑的伴侣。马萨诸塞州马尔登：布莱克威尔出版社。724--741（2002年；Zbl 1066.68120）
简·塞德奎斯特

类型理论中Heine-Borel覆盖定理的实现。 （英文） 兹伯利0927.03019

Giménez，Eduardo（编辑）等人，《证明和程序的类型》。1996年12月15日至19日，法国奥索瓦举行的“96型国际研讨会”。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1512, 46-65 (1998).
MSC公司：03B35型 03层60 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Cederquist}，莱克特。注释计算。科学。1512、46-65（1998年；Zbl 0927.03019）
莫赫里（Mohri，Takahisa）

关于双范畴理论的形式化。 （英文） Zbl 0897.18003号

Gunter，Elsa L.（ed.）等人，高阶逻辑中的定理证明。第十届国际会议，1997年TPHOL。美国新泽西州默里山，1997年8月19日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1275, 199-214 (1997).
审核人：S.V.Solov'ev（达勒姆）
MSC公司：18D05日 68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{T.Mohri}，莱克特。注释计算。科学。1275、199--214（1997；Zbl 0897.18003）
大卫·塞鲁克;帕特里克·林肯;Natarajan Shankar

论肖斯塔克的理论组合决策程序。 （英文） Zbl 1415.03019号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 463-477 (1996).
MSC公司：03B35型 03B25号 03B62号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Cyrluk}等人，Lect。注释计算。科学。1104463-477（1996年；Zbl 1415.03019）
全文： 内政部
Lemmens，P.W.H。（编辑）
[A.F.蒙纳。;范·达伦（D.van Dalen）。;德布鲁因，N.G。]

数学证明。（Bewijzen在de wiskunde。） （荷兰语） Zbl 0727.03001号

CWI教学大纲, 24. 阿姆斯特丹：Wiskunde en Informatica中心。87 p.英国国防部。29.00 (1989).
审核人：H.C.M.de Swart（蒂尔堡）
MSC公司：03-01 00A35型 68T99型
PDF格式BibTeX公司 XML格式引用
\textit{P.W.H.Lemmens}（编辑），Bewijzen in de wiskunde（荷兰语）。阿姆斯特丹：Centrum voor Wiskunde en Informatica（1989；Zbl 0727.03001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件