凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 (英语) Zbl 1520.68105号 工件。智力。 299,文章ID 103559,32 p.(2021).MSC公司:68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人,Artif。智力。299,文章ID 103559,32页(2021;Zbl 1520.68105) 全文: DOI程序
周春来 分配格上的置信函数。 (英语) 兹比尔1334.68215 工件。智力。 201, 1-31 (2013).MSC公司:68立方英尺 03B42号 03B47号 05年6月 68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{C.Zhou},艺术。智力。201,1-31(2013年;兹bl 1334.68215) 全文: DOI程序
丹尼尔·基库蒂;法比奥·加利亚迪·科兹曼;里卡多·西罗塔·菲略 偏好部分有序的顺序决策。 (英语) Zbl 1231.91073号 工件。智力。 175,编号7-8,1346-1365(2011).MSC公司:91B06型 06年06月06日 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{D.Kikuti}等人,Artif。智力。175,编号7--8,1346--1365(2011;Zbl 1231.91073) 全文: DOI程序
托尔斯滕·哈曼;温特,迈克尔;迈克尔·格鲁宁格 Stonian p-正交格:单拓扑(RT_{0})的一种新方法。 (英语) Zbl 1190.68061号 工件。智力。 173,第15期,1424-1440(2009).MSC公司:68立方英尺 03G25号 06第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hahmann}等人,Artif。智力。173,第15号,1424--1440(2009;Zbl 1190.68061) 全文: DOI程序
邱道文 关于Trillas CHC模型的注释。 (英语) Zbl 1168.06302号 工件。智力。 第4期第171页,第239-254页(2007年).MSC公司:06第15页 03B99 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.邱},Artif。智力。171,第4号,239--254(2007;Zbl 1168.06302) 全文: DOI程序
英明生;王怀清 猜想、假设和结果的格理论模型。 (英语) Zbl 1506.68161号 工件。智力。 139,第2期,253-267(2002).MSC公司:68层37 06第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}和\textit{H.Wang},Artif。智力。139,第2号,253--267(2002;Zbl 1506.68161) 全文: DOI程序
特里拉斯,E。;库比略,S。;卡斯蒂涅拉,E。 关于正交补格中的猜想。 (英语) Zbl 0940.06008号 工件。智力。 117,第2期,255-275(2000).MSC公司:06第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Trillas}等人,Artif。智力。117,第2号,255--275(2000;Zbl 0940.06008) 全文: DOI程序
布莱索,W.W。;Kunen,K。;肖斯塔克,R。 不等式证明器的完整性结果。 (英语) 兹比尔0598.68059 工件。智力。 27, 255-288 (1985). 审核人:萨伊达 MSC公司:68吨15 06-04 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Bledsoe}等人,Artif。智力。27255-288(1985年;Zbl 0598.68059) 全文: DOI程序
Jieh乡 使用术语重写系统证明反驳定理。 (英语) Zbl 0558.68072号 工件。智力。 25, 255-300 (1985). 审核人:杰拉图什卡 MSC公司:68吨15 03B30型 03B35型 03B10号机组 06E20型 08A50号 PDF格式BibTeX公司 XML格式引用 \textit{J.祥},Artif。智力。25255--300(1985年;Zbl 0558.68072) 全文: DOI程序 链接