马蒂亚斯·埃贝尔 势无限的高阶概念。 （英语） Zbl 07648671号 西奥。计算。科学。 945，文章ID 113667，17 p.（2023）. 审核人：Łukasz Czajka（多特蒙德） MSC公司：03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{M.Eberl}，Theor。计算。科学。945，文章ID 113667，17 p.（2023；Zbl 07648671） 全文： 内政部
法默，威廉·M。 将引用和评价纳入教会的类型理论。 （英语） Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，信息计算。260，9-50（2018；Zbl 1390.68168） 全文： 内政部 arXiv公司
米洛什·科斯特雷克 关于类型的数量。 （英语） Zbl 1417.03079号 合成 194，第12号，5005-5021（2017）.MSC公司：03A05号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Kosterec}，综合194，第12期，5005--5021（2017；Zbl 1417.03079） 全文： 内政部
马里奥·卡内罗。 将HOL Light证明转换为Metamath。 （英语） Zbl 1451.68337号 J.福尔马利兹。原因。 187-200（2016）第1号第9页.MSC公司：68V20型 03B35型 03E30年 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{M.M.Carneiro}，J.Formiz。原因。9，第1号，187--200（2016；Zbl 1451.68337） 全文： 内政部 arXiv公司
马库斯·赫特;约翰·劳埃德。;吴基祥;威廉·T·B·乌瑟尔。 表达逻辑中句子的概率。 （英语） Zbl 1284.03161号 J.应用。日志。 11，第4期，386-420（2013）.MSC公司：03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutter}等人，J.Appl。日志。11，编号4386--420（2013年；兹bl 1284.03161） 全文： 内政部 arXiv公司
维勒姆诺瓦克 高阶模糊逻辑中的模型理论要素。 （英语） Zbl 1283.03052号 模糊集系统。 205, 101-115 (2012). 审核人：齐格弗里德·戈特瓦尔德（莱比锡） MSC公司：03B52号 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，模糊集系统。205、101--115（2012；Zbl 1283.03052） 全文： 内政部
Gilles Dowek;默多克·J·加贝。 PNL到HOL：从标称集逻辑到高阶函数逻辑。 （英语） 兹比尔1309.03013 西奥。计算。科学。 451, 38-69 (2012).MSC公司：03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay}，Theor。计算。科学。451、38--69（2012；Zbl 1309.03013） 全文： 内政部 arXiv公司
塞拉、卡米娜·伊曼纽尔 朝向声音分析的符号方法。 （英语） Zbl 1247.00018号 Chew，Elaine（编辑）等人，《音乐中的数学和计算》。2009年6月19日至22日，第二届国际会议，MCM 2009，约翰·克劳夫纪念大会，美国康涅狄格州纽黑文。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02393-4/pbk；978-3-442-02394-1/电子书）。《计算机与信息科学通信》38，57-64（2009）。MSC公司：00A65号 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Cella}，Commun（社区）。计算。信息科学。38、57-64（2009年；Zbl 1247.00018） 全文： 内政部
马克·卡明斯基;格特·斯莫尔卡 具有差分和逆的混合逻辑的终止表系统。 （英语） Zbl 1188.03013号 J.逻辑语言信息。 18，第4期，437-464（2009）. 审核人：埃米利奥·穆尼奥斯·韦拉斯科 MSC公司：03B45号 03B35型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{G.Smolka}，J.Logic Lang.Inf.18，No.4，437--464（2009；Zbl 1188.03013） 全文： 内政部
Ng、K.S。;劳埃德·J·W·。;W.T.B.乌瑟尔。 使用逻辑理论进行概率建模、推理和学习。 （英语） Zbl 1178.68589号 安。数学。Artif公司。因特尔。 54，编号1-3，159-205（2008）.MSC公司：68层37 68T05型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit｛K.S.Ng｝等人，Ann.Math。Artif公司。智力。54，编号1--3159-205（2008；Zbl 1178.68589） 全文： 内政部
阿格涅斯卡·科祖贝克;巴威·乌尔兹琴 在寻找一种朴素的类型理论。 （英语） Zbl 1138.03311号 Miculan，Marino（编辑）等人，《证明和程序的类型》。2007年5月2日至5日，意大利弗留利市Cividale des Friuli国际会议，TYPES 2007。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-68084-0/pbk）。计算机科学课堂讲稿4941110-124（2008）。MSC公司：03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kozubek}和\textit{P.Urzyczyn}，莱克托。注释计算。科学。4941、110-124（2008年；Zbl 1138.03311） 全文： 内政部