维勒姆诺瓦克 从自然语言句子形式的时间序列中挖掘信息。 (英语) Zbl 1386.68186号 国际J近似推理 78192-209(2016).MSC公司:68T50型 03B52号 62M10个 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák},Int.J.近似推理78,192--209(2016;Zbl 1386.68186) 全文: 内政部
Yashin,医学博士。;科什切娃,A.K。 超直觉逻辑L2中的新常数。 (英语。俄文原件) Zbl 1331.03027号 数学。笔记 94,第6期,938-950(2013);翻译自Mat.Zametki 94,No.6,918-932(2013)。 审核人:亚历克斯·西特金(沃伦) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Yashin}和\textit{A.K.Koshcheeva},数学。附注94,第6号,938--950(2013;Zbl 1331.03027);翻译自Mat.Zametki 94,No.6,918--932(2013) 全文: 内政部
约翰·汉南;戴尔·米勒 从操作语义到抽象机器。 (英语) Zbl 0798.68099号 数学。结构。计算。科学。 2,第4期,415-459(1992).MSC公司:第68季度55 2005年第68季度 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hannan}和\textit{D.Miller},数学。结构。计算。科学。2,第4号,415--459(1992;Zbl 0798.68099) 全文: 内政部
铃木,Nobu-Yuki 以一类具有无限个独立域的代数框架为特征的中间逻辑。 (英语) Zbl 0678.03006号 牛市。第节。逻辑,Pol。阿卡德。科学。 18,No.2,63-71(1989). 审核人:V.V.雷巴科夫 MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木},公牛。第节。逻辑,Pol。阿卡德。科学。18,编号2,63--71(1989;Zbl 0678.03006)
埃瓦州卡宾斯卡 关于无含意语言中的标准结果运算。 (英语) Zbl 0449.03018号 牛市。第节。逻辑,Pol。阿卡德。科学。 8, 202-205 (1979).MSC公司:03B55号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{E.Capinska},公牛。第节。逻辑,Pol。阿卡德。科学。8202-205(1979;Zbl 0449.03018)