×

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

最新的 引文 相关性
亨德里克·莱丁格;克里斯托夫·韦登巴赫

SCL（EQ）：SCL表示等式的一阶逻辑。 （英语） Zbl 07628190号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 228-247 (2022).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Leidinger}和\textit{C.Weidenbach}，莱克特。注释计算。科学。13385、228--247（2022；Zbl 07628190）
全文： DOI程序 arXiv公司
David A.Plaisted。;斯瓦哈·米勒

语义和统一的相对力量。 （英语） Zbl 1383.68081号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797317-344（2013）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Plaisted}和\textit{S.Miller}，莱克特。注释计算。科学。7797317--344（2013年；Zbl 1383.68081）
全文： DOI程序
胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫

使用有效的命题逻辑进行规划。 （英语） Zbl 1383.68086号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797302-316（2013）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Navarro-Pérez}和\textit{A.Voronkov}，莱克特。注释计算。科学。7797302-316（2013年；兹bl 1383.68086）
全文： DOI程序
鲍姆加特纳;塞萨尔·蒂内利

具有等模内置理论的模型演化。 （英语） 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）
全文： DOI程序
鲍姆加特纳;乌韦·沃尔德曼

叠加和模型演化相结合。 （英语） 兹比尔1237.03010

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣款国际会议，2009年8月2日至7日，加拿大蒙特利尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，17-34（2009）。
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}和\textit{U.Waldmann}，莱克特。注释计算。科学。5663、17-34（2009年；Zbl 1237.03010）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件