尼古拉·瓦维洛夫 重塑证明的隐喻。 （英语） Zbl 1436.00043号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180279，18 p.（2019）.MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Vavilov}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，编号2140，文章ID 20180279，18页（2019；Zbl 1436.00043） 全文： 内政部 链接
安托尼奥·马莱罗；何塞·弗朗西斯科·里斯 通过合成酶识别证据。 （英语） Zbl 1436.03290号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180275，11 p.（2019）.MSC公司：03财年03 2013年02月 13层55 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Malheiro}和\textit{J.F.Reis}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180275，11页（2019；Zbl 1436.03290） 全文： 内政部 链接
伊内斯·希波利托；莱因哈德·卡勒 讨论希尔伯特的第24个问题。 （英语） Zbl 1441.03006号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180040，10 p.（2019）. 审核人：维克托·潘布奇（格伦代尔） MSC公司：03-03 01A60型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{I.Hipolito}和\textit{R.Kahle}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，No.2140，文章ID 20180040，10 p.（2019；Zbl 1441.03006） 全文： 内政部
卢茨斯特拉汉堡 证明身份的问题，以及为什么计算机科学家应该关心希尔伯特的第24个问题。 （英语） Zbl 1436.03293号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180038，14 p.（2019）.MSC公司：03财年03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Straßburger｝，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180038，14页（2019；Zbl 1436.03293） 全文： 内政部
维克托·潘布奇安 任何简单证明理论的序言。 （英语） Zbl 1441.03007号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180035，15 p.（2019）. 审核人：Teun Koetsier（阿姆斯特丹） MSC公司：03A05号 03B30型 01A05号 20层03 PDF格式BibTeX公司 XML格式引用 \textit{V.潘布奇}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180035，15页（2019；Zbl 1441.03007） 全文： 内政部
迈克尔·基扬 证明简化和自动定理证明。 （英语） 兹伯利1436.03101 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180034，9 p.（2019）.MSC公司：03B35型 68伏15 20层03 PDF格式BibTeX公司 XML格式引用 \文本{M.Kinyon}，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，第2140号，文章ID 20180034，9页（2019；Zbl 1436.03101） 全文： 内政部 arXiv公司 链接
威弗里德·西格 Cantor-Bernstein定理：有多少证明？ （英语） Zbl 1441.03015号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 377，No.2140，文章ID 20180031，11 p.（2019）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03B35型 03E20型 03-03 01A55号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{W.Sieg}，菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。377，No.2140，Article ID 20180031，11 p.（2019；Zbl 1441.03015） 全文： 内政部
欧文·恩格尔 被遗忘的证据理论？ （英语） Zbl 1509.03157号 日志。计算方法。科学。 15，第3号，第6号论文，第6页（2019）.MSC公司：03财年03 PDF格式BibTeX公司 XML格式引用 \textit{E.Engeler}，日志。计算方法。科学。15，第3号，第6号论文，第6页（2019年；Zbl 1509.03157） 全文： arXiv公司