×

找到187个文档(结果1-100)

EXPTIME-高维闵可夫斯基时空的硬度。 (英语) Zbl 07668112号

Fernández-Duque,David(编辑)等人,《模态逻辑的进展》。第14卷。第十四届会议记录(AiML 2022),法国雷恩,2022年8月22日至25日。伦敦:学院出版物。491-505 (2022).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

在Isabelle/HOL中,将Schutz的Minkowski时空公理形式化。 (英语) Zbl 1511.68331号

J.汽车。推理 66,编号4,953-988(2022); 更正同上,67,第1号,第9号论文,第1页(2023年)。
PDF格式BibTeX公司 XML格式引用

引力宇宙中的新相对论。宇宙相对论及其实验证据。 (英语) Zbl 1519.83028号

物理基础理论209.查姆:施普林格(ISBN 978-3-031-08934-3/hbk;978-3-0031-08937-4/pbk;978-1-031-08935-0/电子书)。xxi,485页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

闵可夫斯基时空的时间逻辑。 (英语) Zbl 1522.03046号

Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:斯普林格。Outst公司。控制日志。22, 389-409 (2022).
PDF格式BibTeX公司 XML格式引用

数据科学。时间复杂性、推断不确定性和spacekime分析。 (英语) Zbl 1489.68004号

De Gruyter STEM公司柏林:De Gruyter(ISBN 978-3-11-069780-3/hbk;978-3-12-069782-7/电子书)。xxvi,463页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

宇宙场的无损、可扩展隐式似然推断。 (英语) Zbl 1487.83068号

J.Cosmol公司。Astropart。物理学。 2021年,第11期,第49号论文,22页(2021年); 勘误表同上,2023年,第4号,论文编号E02,第4页(2023年)。
PDF格式BibTeX公司 XML格式引用

物理可计算性论文。 (英语) Zbl 1498.68109号

Hemmo,Meir(编辑)等人,量子,概率,逻辑。伊塔马尔·皮托夫斯基的作品和影响力。查姆:斯普林格。杰鲁斯。螺柱.菲洛斯。历史。科学。,217-231 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在缺乏训练数据的情况下进行学习——这是一个银河系的应用程序。 (英语) 兹比尔1435.62442

Argiento,Raffaele(编辑)等人,贝叶斯统计学和新一代。BAYSM 2018。2018年7月2日至3日在英国沃里克举行的第四届贝叶斯青年统计学家会议的部分贡献。查姆:斯普林格。Springer程序。数学。《统计》第296、43-51页(2019年)。
PDF格式BibTeX公司 XML格式引用

二维闵可夫斯基时空的时间逻辑是可以判定的,其可达性比光慢。 (英语) Zbl 1418.03062号

Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:学院出版物。347-366 (2018).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

布尔网的类LOTOS合成和因果集构造。 (英语) Zbl 1498.68178号

Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。10500, 27-47 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

为故事和游戏中的时间旅行建立一个正式的基础。 (英语) 1475.00005兹罗提

阿尔·布拉哈姆,埃里卡(编辑)等人,《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆:斯普林格。莱克特。票据计算。科学。9660, 261-276 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子力学的细胞自动机解释。 (英语) Zbl 1348.81007号

物理基础理论185.查姆:施普林格(ISBN 978-3-319-41284-9/hbk;978-3-316-41285-6/电子书)。xvii,第298页。(2016).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

软件