×

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

最新的 引文 关联
阿尔穆德娜·科拉西托；尼古拉斯·加拉托斯；乔治·梅特卡夫

子结构逻辑的替代定理。 （英语） Zbl 07452000号

Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：斯普林格。Outst公司。控制日志。21, 91-105 (2021).
MSC公司：03年XX月 39倍X
PDF格式BibTeX公司 XML格式引用
\textit{A.Colacito}等人，Outst。控制日志。21，91-105（2021年；兹bl 07452000）
全文： 内政部 arXiv公司
保罗·巴尔迪

有理乌卡西维奇逻辑和相关系统的微积分。 （英语） Zbl 1455.03026号

Carvalho，Joao Paulo（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议，2016年IPMU，荷兰埃因霍温，2016年6月20日至24日。诉讼程序。第二部分。查姆：斯普林格。Commun公司。计算。信息科学。611, 136-147 (2016).
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldi}，Commun（公共）。计算。信息科学。611136--147（2016；Zbl 1455.03026）
全文： 内政部
蝉蜕、阿加塔；卢茨斯特拉汉堡；川崎捷瑞

拓展系统证明理论领域。 （英语） Zbl 1257.03084号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771163-178（2009）。
MSC公司：03财年03 第03页
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，Lect。票据计算。科学。5771、163--178（2009年；Zbl 1257.03084）
全文： 内政部
D.加尔米奇。；萨尔希，Y。

为Łukasiewicz逻辑标记的calculi。 （英语） Zbl 1156.03024号

Hodges，Wilfrid（编辑）等人，《逻辑、语言、信息和计算》。2008年7月1日至4日在英国爱丁堡举办的2008年WoLLIC第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69936-1/pbk）。计算机科学讲义5110。人工智能课堂讲稿，194-207（2008）。
MSC公司：03B50 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{D.Galmiche}和\textit{Y.Salhi}，莱克特。票据计算。科学。5110、194-207（2008；Zbl 1156.03024）
全文： 内政部
泽维尔·凯塞多

MV-代数和Łukasiewicz逻辑的连接词中的隐式运算。 （英语） Zbl 1122.03018号

Aguzzoli，Stefano（ed.）等人，非经典逻辑的代数和证明论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林：施普林格出版社（ISBN 978-3-540-75938-6/pbk）。计算机科学课堂讲稿4460。《人工智能课堂讲稿》，50-68页（2007年）。
MSC公司：03B50 05年6月 20层06
PDF格式BibTeX公司 XML格式引用
\textit{X.Caicedo}，莱克特。票据计算。科学。4460，50-68（2007；Zbl 1122.03018）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

软件