×

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

最新的 引文 关联
玛丽安娜·吉兰多；比约恩·莱尔曼；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨

刘易斯反事实逻辑的标准顺序计算。 （英语） Zbl 1485.03036号

Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，2016年JELIA，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10021, 272-287 (2016).
MSC公司：03B42号 03B45号 05年3月 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{M.Girlando}等人，Lect。票据计算。科学。10021、272--287（2016；Zbl 1485.03036）
全文： 内政部 链接
尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨

刘易斯反事实逻辑的标准内部演算。 （英语） Zbl 1471.03060号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9323, 270-286 (2015).
MSC公司：03B60号 03A05号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{N.Olivetti}和\textit{G.L.Pozzato}，莱克特。票据计算。科学。9323270--286（2015；Zbl 1471.03060）
全文： 内政部 链接
雷吉斯·阿伦达；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨

条件逻辑的嵌套序列计算。 （英语） Zbl 1361.68213号

Fariñas del Cerro，Luis（编辑）等人，《人工智能中的逻辑》。2012年9月26日至28日，法国图卢兹，第13届欧洲会议，JELIA 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33352-1/pbk）。计算机科学课堂讲稿7519。人工智能课堂讲稿，14-27（2012）。
MSC公司：68T27型 03B45号 2007年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.Alenda}等人，Lect。票据计算。科学。7519、14-27（2012年；Zbl 1361.68213）
全文： 内政部
劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨

（mathcal{EL}^\bot）非单调扩张的表演算。 （英语） Zbl 1332.68209号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。《人工智能课堂讲稿》，180-195（2011）。
MSC公司：68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{L.Giordano}等人，Lect。票据计算。科学。6793180-195（2011年；兹比尔1332.68209）
全文： 内政部
基诺维斯，瓦莱里奥；劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨

用于访问控制的条件构造逻辑及其序列演算。 （英语） Zbl 1333.03104号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学讲义6793。人工智能课堂讲稿，164-179（2011）。
MSC公司：03B70号 03B25号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{V.Genovese}等人，莱克特。票据计算。科学。6793、164--179（2011年；Zbl 1333.03104）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

出版年份

主字段

全部的 前3名

软件