弗朗西斯科·贝鲁奇 表格符号。 (英语) Zbl 07740531号 Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,535-546 (2022).MSC公司:03A05号 03亿xx 01年2月25日 01年5月 97E30型 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Bellucci},in:逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019)上的会谈。查姆:Birkhäuser。535--546(2022;Zbl 07740531) 全文: 内政部
阿托·萨洛马 通过识别多值逻辑中的变量,从无穷到有限。 (英语) Zbl 1396.03049号 J.汽车。语言梳。 23,编号1-3,293-301(2018).MSC公司:03B50 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},J.Autom。语言梳。23、编号1--3、293--301(2018;Zbl 1396.03049) 全文: 内政部
保罗·巴尔迪 有理Łukasiewicz逻辑和相关系统的微积分。 (英语) 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) 全文: 内政部
Stern,胡里奥·迈克尔;卡洛斯·德·布拉甘萨(Carlos A.de BragançA Pereira) 贝叶斯认知价值观:关注惊喜,衡量概率! (英语) Zbl 1309.62057号 日志。J.IGPL公司 22,第2期,236-254(2014).MSC公司:2015年1月62日 03B48号 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Stern}和\textit{C.A.de B.Pereira},Log。J.IGPL 22,第2期,236--254(2014;Zbl 1309.62057) 全文: 内政部 链接
阿托·萨洛马 反应系统和命题逻辑之间的函数结构。 (英语) Zbl 1359.68075号 发现的国际期刊。计算。科学。 24,第1期,147-159(2013).MSC公司:2005年第68季度 03B05号 2010年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},国际期刊发现。计算。科学。24,第1号,147--159(2013;Zbl 1359.68075) 全文: 内政部
杨杰 哥德尔逻辑系统中模糊逻辑方程解的性质。 (中文。英文摘要) Zbl 1274.03049号 烟台大学自然科学学报。工程师。 25,第3期,166-169,231(2012).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang},烟台大学,自然科学。Eng.25,No.3,166--169,231(2012;Zbl 1274.03049)
任、芳;陆来凤 逻辑NMG系统的验证集。 (中文。英文摘要) Zbl 1249.03029号 西北大学自然科学。预计起飞时间。 41,编号5,753-756,760(2011).MSC公司:03B52号 03B50 PDF格式BibTeX公司 XML格式引用 \textit{F.Ren}和\textit{L.Lu},西北大学自然科学。第41版,第5、753--75660号(2011;Zbl 1249.03029)
Fabrice科雷亚 接地和真实功能。 (英语) Zbl 1253.03028号 日志。分析。,努夫。Sér。 53,编号211,251-279(2010). 审核人:拉尔斯·洛夫格伦(伦德) MSC公司:03年10月 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Correia},日志。分析。,努夫。Sér。53、编号211、251--279(2010;Zbl 1253.03028)
李成云;张兴芳 哥德尔逻辑系统中的函数决定公式问题。 (中文。英文摘要) Zbl 1224.03009号 J.系统。科学。数学。科学。 30,第2期,283-288(2010).MSC公司:03B50 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Li}和\textit{X.Zhang},J.Syst。科学。数学。科学。30,第2号,283--288(2010;Zbl 1224.03009)
任、芳 与基于L ^*系统的一个原子生成的公式相关联的函数的特征。 (中文。英文摘要) Zbl 1105.03313号 下巴。工程数学杂志。 22,第3期,563-566(2005).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ren},Chin。工程数学杂志。22,第3号,563--566(2005;Zbl 1105.03313)
达纳·斯穆特纳 聚合运算符和(完全)模糊分辨率的新连接词。 (英语) Zbl 1044.03519号 J.电气。工程师。 52,第10号,82-84(2001).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Smutná},J.Elector(J.Electr)。工程52,编号10/s,82--84(2001;Zbl 1044.03519)
图尔罕圣伊夫提巴斯 模糊系统的一种新结构:模糊命题逻辑和模糊决策过程的多宇宙表示。 (英语) Zbl 0906.03025号 模糊集系统。 85,第3期,325-354(1997).MSC公司:03B52号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.乔伊巴斯},模糊集系统。85,第3号,325--354(1997;Zbl 0906.03025) 全文: 内政部
A.S.卡彭科。 没有固定点的逻辑。 (英语) Zbl 0902.03011号 彼得·拜斯特罗夫(编辑)等人,《哲学逻辑和逻辑哲学》。纪念弗拉基米尔·斯米尔诺夫的论文。多德雷赫特:Kluwer学术出版社。合成。伦敦银行同业拆借利率。257, 213-219 (1996). 审核人:A.Tauts(塔林) MSC公司:03B50 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko},Synth(合成)。伦敦银行同业拆借利率。257213-219(1996年;Zbl 0902.03011)
塞尔吉·鲁迪亚努 关于二次布尔方程。 (英语) 兹比尔0854.06021 模糊集系统。 75,第2期,209-213(1995). 审核人:V.V.Gorlov(明斯克) MSC公司:06E30年 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Rudeanu},模糊集系统。75,第2号,209--213(1995;Zbl 0854.06021) 全文: 内政部
伊藤、吉福萨 神经网络和真值函数的有限映射。 (英语) Zbl 0758.92002号 数学。科学。 17,No.2,69-77(1992).MSC公司:92B20型 68T05型 68年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ito},数学。科学。17,No.2,69--77(1992;Zbl 0758.92002)
克劳迪奥·加洛拉 量子逻辑的经典基础。 (英语) Zbl 0813.03044号 国际J.Theor。物理学。 30,第1期,1-52页(1991年).MSC公司:03G12号机组 81页第10页 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.Garola},国际期刊Theor。物理学。30,第1号,1-52(1991;Zbl 0813.03044) 全文: 内政部
Yu Matiyasevich。五、。 建立命题公式可满足性的可能非传统方法。 (俄语) Zbl 0652.03005号 沃普。基伯恩。,莫斯科。 131, 87-90 (1987). 审核人:A.阿尔达姆 MSC公司:03B05号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Matiyasevich},沃普。基伯恩。,莫斯科。131、87-90(1987年;Zbl 0652.03005)
加里巴,S。;E.瓜格尼尼。;穆西奥,P。 多值逻辑树:意义和素蕴涵。 (英语) Zbl 0578.90029号 IEEE传输。Reliab公司。 34, 463-472 (1985).MSC公司:90B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Garribaba}等人,IEEE Trans。Reliab公司。34、463--472(1985年;Zbl 0578.90029) 全文: 内政部
罗纳德·雅格。 真值函数修正。 (英语) Zbl 0577.94026号 国际通用系统杂志。 10, 105-121 (1985). 审核人:Witold Pedrycz(格利维茨) MSC公司:94D05型 03B52号 03B50 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Yager},《国际遗传学》。10105-121(1985;Zbl 0577.94026) 全文: 内政部
科伊梅夫,K.N。;M.阿斯兰斯基。 一类布尔函数的结构特征。 (英语) Zbl 0577.94024号 科兹勒梅内耶克,马吉。周二。阿卡德。,Számitástechnikai Autom公司。库特。国际。31, 23-31 (1984). 审核人:安德拉斯·阿达姆(布达佩斯) MSC公司:94C11号机组 05年3月 PDF格式BibTeX公司 XML格式
Herbert E.Hendry。 Łukasiewiczian真值函数的最小不完备集。 (英语) Zbl 0544.03003号 圣母院J.形式逻辑 24, 146-150 (1983). 审核人:A.胡格威 MSC公司:03B50 PDF格式BibTeX公司 XML格式引用 \textit{H.E.Hendry},圣母院J.形式逻辑24146-150(1983;Zbl 0544.03003) 全文: 内政部
克里斯托弗·罗斯默 模糊平面。 (英语) Zbl 0542.03011号 皮穆·埃普西隆J。 7, 582-584 (1983). 审核人:W.佩德里茨 MSC公司:03B52号 第51页,共15页 51埃99 PDF格式BibTeX公司 XML格式引用 \textit{C.Roesmer},Pi Mu Epsilon J.7,582--584(1983;Zbl 0542.03011)
阿尔芬斯·格里德 关于真函数在谓词逻辑中的应用。 (英语) 兹比尔0538.03007 逻辑分析。,努夫。Sér。 26, 3-18 (1983). 审核人:J.西鲁利斯 MSC公司:03B10号机组 03B20型 03克99 PDF格式BibTeX公司 XML格式引用 \textit{A.Grieder},日志。分析。,努夫。Sér。26、3--18(1983年;Zbl 0538.03007)
G.N.波瓦罗夫。 布尔函数最小化的一种方法。 (俄语) Zbl 0549.94047号 伊兹夫。阿卡德。Tekh Nauk SSSR公司。Kibern。 1982年,第4期,198-201(1982). 审核人:A.阿尔达姆 MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{G.N.Povarov},Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。1982年,第4号,198--201(1982;Zbl 0549.94047)
G.N.波瓦罗夫。 根据非完美范式比较布尔函数。 (俄语) Zbl 0549.94046号 伊兹夫。阿卡德。Tekh Nauk SSSR公司。Kibern。 1982年,第1期,209-210(1982). 审核人:A.阿尔达姆 MSC公司:94立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{G.N.Povarov},Izv。阿卡德。Tekh Nauk SSSR公司。基伯恩。1982年,第1期,209--210(1982;Zbl 0549.94046)
巴特,Kabekode V.S。 开关函数最小化的图论方法。 (英语) 兹伯利0493.94018 J.富兰克林研究所。 313, 299-312 (1982).MSC公司:94立方厘米 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{K.V.S.Bhat},J.Franklin Inst.313,299--312(1982;Zbl 0493.94018) 全文: 内政部
印度阿克波娃。;洛杉矶阿斯兰扬。 布尔函数约化析取范式的一些估计的证明。 (俄语) Zbl 0498.94021号 乌克兰。扎普。埃里文。戈斯。埃斯特斯特夫大学。瑙基 1980年,第1期(143),第14-23期(1980). 审核人:A.阿尔达姆 MSC公司:94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Akopova}和\textit{L.A.Aslanyan},乌克兰。扎普。埃里文。戈斯。埃斯特斯特夫大学。Nauki 1980,第1号(143),14-23(1980;Zbl 0498.94021)
拉特科·托西奇 在(B_2)上表示同位素布尔函数的一种方法。 (塞尔维亚-克罗地亚语) Zbl 0497.94016号 Zb.公司。Rad.、Prir.-Mat.Fak.、。,Novom Sadu大学。材料。 10, 205-207 (1980).MSC公司:94立方厘米 2015年1月5日 1999年6月 PDF格式BibTeX公司 XML格式引用 \textit{R.托西奇},Zb。Rad.、Prir.-Mat.Fak.、。,Novom Sadu大学。材料10205-207(1980;Zbl 0497.94016)
阿肖克·钱德拉。;乔治·马可夫斯基 关于素数蕴涵的数量。 (英语) Zbl 0392.03038号 离散数学。 24, 7-11 (1978).MSC公司:05年3月 03B05号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Chandra}和\textit{G.Markowsky},离散数学。24、7--11(1978年;Zbl 0392.03038) 全文: 内政部
亚历山大·威廉 Minimisierung mit nichtkombinatorischen方法。 (德语) Zbl 0115.11901号 2.Schaltkreis-und Schaltwerktheorie学术讨论会,18.-20。1961年10月,萨尔布吕肯9-48(1963)。 审核人:H.罗勒 MSC公司:68季度xx PDF格式BibTeX公司 XML格式