×

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

最新的 引文 关联
玛丽亚·保拉（Maria Paola Bonacina）;莎拉·温克勒

SGGS决策程序。 （英语） Zbl 07614522号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12166, 356-374 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{S.Winkler}，莱克特。票据计算。科学。12166、356--374（2020；Zbl 07614522）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;乌尔里希·富巴赫;维奥里卡Sofrone-Stokkerman

基于一阶模型的推理。 （英语） Zbl 1322.03013号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学9200、181-204课堂讲稿（2015）。
MSC公司：03B35型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}等人，Lect。票据计算。科学。9200、181--204（2015；Zbl 1322.03013）
全文： 内政部 arXiv公司
玛丽亚·保拉（Maria Paola Bonacina）;穆阿·约翰逊

关于决策程序中的插值。 （英语） Zbl 1331.68198号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。人工智能课堂讲稿，1-16（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{M.Johansson}，莱克特。票据计算。科学。6793，1-16（2011；Zbl 1331.68198）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;穆纳乔·埃切宁

递归数据结构的基于重写的可满足性过程。 （英语） Zbl 1277.68239号

Cook，B.（ed.）等人，第四届自动推理决策程序语用学研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，西雅图，华盛顿州，美国，2006年8月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第8期，55-70（2007）。
MSC公司：68吨15 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{M.Echenim}，电子。注释Theor。计算。科学。174，第8号，55--70（2007；Zbl 1277.68239）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）;穆纳乔·埃切宁

基于重写的决策程序。 （英语） Zbl 1277.68238号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，27-45（2007）。
MSC公司：68吨15 03B35型 03B25号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}和\textit{M.Echenim}，电子。注释Theor。计算。科学。174，第11号，27-45（2007；Zbl 1277.68238）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件