×

找到79个文档（结果1-79）

最新的 引文 关联
丹尼尔·巴拉诺夫斯基;阿恩·贝林;基里尔·梅尔尼科夫;洛伦佐·坦克里迪;克里斯托弗·韦弗

微扰QCD中位于（mathrm{N^3LO}）的（N\）-码头的波束函数。 （英语） Zbl 07685496号

《高能物理杂志》。 2023年，第2期，第73号论文，56页（2023年）.
MSC公司：81至XX
PDF格式BibTeX公司 XML格式引用
\textit{D.Baranowski}等人，《高能物理学杂志》。2023年，第2期，第73号论文，56页（2023年；Zbl 07685496）
全文： 内政部 arXiv公司
史蒂夫·霍夫曼;卡洛斯·凯尼格;斯维特拉纳梅博罗达;吉尔·皮弗

非对称椭圆算子的平方函数/非切极大函数估计和Dirichlet问题。 （英语） Zbl 1326.42028号

美国数学杂志。Soc公司。 28，第2期，483-529（2015）.
审核人：Tuomas Hytönen（赫尔辛基）
MSC公司：42B37型 35J25型 42B25型 第42页第20页
PDF格式BibTeX公司 XML格式引用
\textit{S.Hofmann}等人，《美国数学杂志》。Soc.28，No.2，483--529（2015；Zbl 1326.42028）
全文： 内政部 arXiv公司
格里戈里薄荷

\（\mathrm的非确定性ε替换{ID}_1\)：有效证明。 （英语） Zbl 1319.03061号

Berger，Ulrich（编辑）等人，《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。法兰克福：Ontos Verlag；柏林：De Gruyter（ISBN 978-3-11-032453-2-hbk；978-3-86838-158-0/hbk；978-11-032492-1/电子书）。Ontos数学逻辑3，325-342（2012）。
审核人：M.Yasuhara（普林斯顿）
MSC公司：05年3月 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit｛G.Mints｝，Ontos数学。日志。3325-342（2012；Zbl 1319.03061）
亨利·托斯纳

优先级参数和ε替换。 （英语） Zbl 1239.03036号

所罗门·费弗曼（编辑）等人，《证明、类别和计算》。纪念格里戈里造币厂的文章。与弗拉基克·克雷诺维奇、弗拉基米尔·利夫希茨和鲁伊·德·奎罗斯合作。伦敦：学院出版物（ISBN 978-1-84890-012-7/pbk）。《致敬》13，251-266（2010）。
审核人：安德烈亚·坎蒂尼（费伦泽）
MSC公司：30楼03号 03D25号 05年3月 2015年1月3日
PDF格式BibTeX公司 XML格式引用
\textit{H.Towsner}，《致敬》13，251--266（2010；Zbl 1239.03036）
全文： arXiv公司
薄荷，G.E。

用ε替换等式谓词逻辑的方法。 （英语。俄文原件） 兹伯利0934.03073

数学杂志。科学。，纽约 87，第1期，3234-3252（1997）; Zap的翻译。诺什。塞明。POMI 22093-122（1995）。
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：05年3月 03B10号机组 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Mints}，J.数学。科学。，纽约87，No.1，1（1995；Zbl 0934.03073）；Zap的翻译。诺什。塞明。POMI 220、93--122（1995）
全文： 内政部
薄荷，G.E。

Gentzen型系统和Hilbertε替换方法。一、。 （英语） Zbl 0835.03023号

Prawitz，D.（ed.）等人，《科学的逻辑、方法论和哲学IX.第九届国际逻辑、方法学和科学哲学大会论文集》，瑞典乌普萨拉，1991年8月7日至14日。阿姆斯特丹：荷兰北部。发现螺柱逻辑。数学。134, 91-122 (1994).
审核人：O.Sonobe（福洛妮卡）
MSC公司：05年3月 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Mints}，找到了研究逻辑。数学。134、91-122（1994；Zbl 0835.03023）
Zh萨尔塔巴诺夫。

关于研究特殊形式偏微分方程周期解的一种方法。 （俄语） Zbl 0684.35009号

伊兹夫。阿卡德。诺克·卡兹。SSR，序列号。菲兹-材料。 1989年，第1期（146），42-48（1989）.
审核人：I.金切夫
MSC公司：35B10型 35英尺20英寸 35C05型 35兰特
PDF格式BibTeX公司 XML格式引用
\文本{Zh.Sartabanov}，Izv。阿卡德。诺克·卡兹。SSR，序列号。菲兹-材料1989，第1号（146），42-48（1989；Zbl 0684.35009）
薄荷，G.E。

具有选择公理的二阶经典逻辑的范式定理。 （英语。俄文原件） Zbl 0850.03053号

数学。苏联，伊兹夫。 32，第3期，587-605（1989年）; Izv的翻译。阿卡德。Nauk SSSR，序列号。材料52，第3号，581-600（1988年）。
MSC公司：05年3月
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Mints}，数学。苏联，Izv。32，第3号，587--605（1988；Zbl 0850.03053）；Izv的翻译。阿卡德。Nauk SSSR，序列号。材料52，编号3，581--600（1988）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件