×

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

最新的 引文 关联
马丁·布隆伯格;阿尔贝托·菲奥里;克里斯托夫·韦登巴赫

通过理论上的简单子句学习确定有界差分约束上的Bernays-Schoenfinkel片段。 （英语） Zbl 1472.03024号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 511-533 (2021).
MSC公司：03B70号 03B25号 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{M.Bromberger}等人，Lect。注释计算。科学。12597、511--533（2021；Zbl 1472.03024）
全文： 内政部
Damien Rouhling公司;马赫福扎·法鲁克;圣菲省格拉汉·伦格兰德;阿西娅·马赫布比;Jean-Marc，诺丁

证明搜索模理论的公理约束系统。 （英语） Zbl 1471.68317号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 220-236 (2015).
MSC公司：68伏15 2012年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Rouhling}等人，Lect。注释计算。科学。9322、220--236（2015年；Zbl 1471.68317）
全文： 内政部 arXiv公司
安德烈亚斯·艾格斯;叶夫根·克鲁格洛夫;斯特凡·库普弗施米德;卡斯滕·谢布勒;蒂诺·特伊格;克里斯托夫·韦登巴赫

叠加模非线性算法。 （英语） Zbl 1348.68218号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。《人工智能讲义》，119-134（2011）。
MSC公司：68吨15 03B62号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Eggers}等人，Lect。注释计算。科学。6989、119--134（2011；Zbl 1348.68218）
全文： 内政部
彼得·鲍姆加特纳;塞萨尔·蒂内利

具有等模内置理论的模型演化。 （英语） Zbl 1341.68180号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，85-100（2011）。
MSC公司：68吨15 03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}和\textit{C.Tinelli}，莱克特。注释计算。科学。6803，85--100（2011；Zbl 1341.68180）
全文： 内政部
尼古拉·比约纳

线性量词消除是一个抽象的决策过程。 （英语） Zbl 1291.68325号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，316-330（2010）。
MSC公司：68吨15 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{N.Björner}，莱克特。注释计算。科学。6173316-330（2010年；Zbl 1291.68325）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

主字段

全部的 前3名

软件