×

找到30个文档(结果1-30)

表格符号。 (英语) Zbl 07740531号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,535-546 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有理Łukasiewicz逻辑和相关系统的微积分。 (英语) Zbl 1455.03026号

Carvalho,Joao Paulo(编辑)等人,《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议,2016年IPMU,荷兰埃因霍温,2016年6月20日至24日。诉讼程序。第二部分。查姆:斯普林格。Commun公司。计算。信息科学。611, 136-147 (2016).
MSC公司:03B52号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

没有固定点的逻辑。 (英语) Zbl 0902.03011号

彼得·拜斯特罗夫(编辑)等人,《哲学逻辑和逻辑哲学》。纪念弗拉基米尔·斯米尔诺夫的论文。多德雷赫特:Kluwer学术出版社。合成。伦敦银行同业拆借利率。257, 213-219 (1996).
MSC公司:03B50 03G25号
PDF格式BibTeX公司 XML格式引用

布尔函数约化析取范式的一些估计的证明。 (俄语) Zbl 0498.94021号

审核人:A.阿尔达姆
MSC公司:94C11号机组
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份