×

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

最新的 引文 关联
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金

组合封面和Beth可定义性。 （英文） Zbl 07614513号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12166, 181-200 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，Lect。注释计算。科学。12166，181--200（2020；Zbl 07614513）
全文： 内政部
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森

一种礼貌的非分离组合方法：重温具有桥接功能的理论。 （英文） Zbl 1465.68303号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9195, 419-433 (2015).
MSC公司：68版本20 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{P.Chocron}等人，Lect。注释计算。科学。9195、419--433（2015年；Zbl 1465.68303）
全文： 内政部 哈尔
德扬·约瓦诺维奇;克拉克·巴雷特

分享就是关怀：理论的结合。 （英文） 兹比尔1348.68220

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学讲义6989。《人工智能课堂讲稿》，195-210（2011）。
MSC公司：68吨15 03B25号 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{D.Jovanović}和\textit{C.Barrett}，莱克特。注释计算。科学。6989195-210（2011；Zbl 1348.68220）
全文： 内政部
卡洛斯·阿雷塞斯;帕斯卡·方丹

结合理论：阿克曼和守卫碎片。 （英文） Zbl 1348.03027号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学讲义6989。人工智能课堂讲稿，40-54（2011）。
MSC公司：03B62号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}和\textit{P.Fontaine}，莱克特。注释计算。科学。6989，40-54（2011；Zbl 1348.03027）
全文： 内政部
de Oliveira，Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹

通过（模型-）等式传播组合决策过程。 （英文） Zbl 1347.68309号

Patricia D.L.Machado（编辑），第十一届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，113-128（2009）。
MSC公司：68吨15 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.C.B.de Oliveira}等人，《电子》。注释Theor。计算。科学。240、113--128（2009年；Zbl 1347.68309）
全文： 内政部
帕斯卡·方丹

一阶逻辑可判定片段的理论组合。 （英文） Zbl 1193.03020号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，263-278（2009）。
MSC公司：03B20型 03B25号 03B35型 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{P.Fontaine}，莱克特。注释计算。科学。5749、263--278（2009年；Zbl 1193.03020）
全文： 内政部
罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗兰岑;阿尔贝托·格里乔;罗伯托·塞巴斯蒂亚尼

延迟理论组合与Nelson-Oppen关于可满足性模理论的比较分析。 （英文） Zbl 1192.68627号

安。数学。Artif公司。智力。 55，编号1-2，63-99（2009）.
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruttomesso}等人，《数学年鉴》。Artif公司。智力。55，编号1--2，63-99（2009；Zbl 1192.68627）
全文： 内政部 链接
塞萨尔·蒂内利;卡拉戈罗·扎尔巴。

结合了不稳定的无限理论。 （英文） Zbl 1261.03069号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，35-48（2003）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Tinelli}和\textit{C.G.Zarba}，电子。注释Theor。计算。科学。86，第1号，35-48（2003；Zbl 1261.03069）
全文： 内政部
西尔维奥·吉拉尔迪

量词消除和标准器集成。 （英文） Zbl 1261.68100号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，22-34（2003）。
MSC公司：68吨15 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}，电子。注释Theor。计算。科学。86，编号1，22--34（2003；Zbl 1261.68100）
全文： 内政部
弗兰兹·巴德;塞萨尔·蒂内利

组合单词问题决策程序的新方法，及其与Nelson-Oppen组合方法的联系。 （英文） Zbl 1430.03036号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1249, 19-33 (1997).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{F.Baader}和\textit{C.Tinelli}，莱克特。注释计算。科学。1249、19-33（1997年；Zbl 1430.03036）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件