停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

自动推理杂志，第67卷

>主页 >期刊销售 >自动推理杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第67卷第1期，2023年3月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/RosskopfN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/RosskopfN23网址
西蒙·罗·科普夫,托比亚斯·尼普科:
伊莎贝尔《元逻辑》的形式化和校对。 1
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/EdmondsKP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EdmondsKP23
切尔西·埃德蒙兹,Angeliki Koutsoukou-Argyraki公司,劳伦斯·保尔森:
Isabelle/HOL中关于算术级数的Szemerédi正则引理和Roth定理的形式化。 2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Fiorino23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Fiorino23
吉多·菲奥里诺:
直觉认识逻辑中具有子公式性质的线性深度演绎。三
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/WangA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/WangA23
王勤士,安德鲁·W·阿佩尔:
具有级联的阵列解算器。 4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/QuaresmaG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/QuaresmaG23
佩德罗·夸雷斯马,皮埃尔路易吉·格拉齐亚尼:
测量几何证明的可读性：面积法案例。 5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BonacinaW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BonacinaW23
玛丽亚·保拉·博纳西纳,莎拉·温克勒:
语义引导的目标敏感推理：决策程序和考拉证明人。 6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/VelasquezASWA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/VelasquezASWA23
阿尔瓦罗·贝拉斯克斯,伊斯梅尔·阿尔库里,K.苏布拉马尼,彼得·沃伊切乔夫斯基（Piotr Wojciechowski）,乔治·K·阿蒂亚:
基于稳态分布的最优确定性控制器综合。 7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AppelL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AppelL23
安德鲁·W·阿佩尔,泽维尔·勒罗伊:
高效扩展二进制尝试。 8
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/SchmoettenPF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SchmoettenPF23
理查德·施莫滕,杰克·E·帕尔默,雅克·弗莱里奥:
更正：在Isabelle/HOL中，将Schutz公理形式化为Minkowski时空。 9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/BentkampBTV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BentkampBTV23
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇:
高阶逻辑的叠加。 10
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Andrlon 23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Andrlon23
马克·安德隆:
高效查找正常二进制浮点因子。 11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Windsor23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Windsor23
亚伦·温莎:
无公害代码的计算机辅助构造。 12
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KirstH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KirstH23
多米尼克·柯斯特,马克·赫尔墨斯:
Coq中一阶公理系统的综合不确定性和不完全性。 13

第67卷第2期，2023年6月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/MiddeldorpLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MiddeldorpLM23
阿尔特·米德尔多普,亚历山大·洛赫曼,费比安·米特沃纳:
线性变量分离重写系统重写的一阶理论：自动化，形式化，证明。 14
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/YolcuAH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/YolcuAH23
埃姆雷·约尔库,斯科特·阿伦森,Marijn J.H.鞋垫:
Collatz猜想的自动化方法。 15
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/EbnerBT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EbnerBT23
加布里埃尔·埃布纳,布兰切特,索菲·图雷特:
统一拆分。 16
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/CristiaLL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CristiaLL23
马克西米利亚诺·克里斯蒂亚,吉多·德·卢卡,卡洛斯·卢纳:
Android权限系统的自动验证原型。 17
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Nash23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Nash23
奥利弗·纳什:
数学库中的恩格尔定理。 18
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/AbateBBDKKPRT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AbateBBDKKPRT23
亚历山德罗·阿巴特,哈尼尔·巴博萨,克拉克·W·巴雷特,克里斯蒂娜·戴维,帕斯卡·凯塞利,丹尼尔·克罗宁,伊丽莎白·波尔格林,安德鲁·雷诺兹,塞萨尔·蒂内利:
用非平凡常数合成程序。 19
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/KaliszykP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/KaliszykP23
塞萨里·卡利西克,卡罗尔·帕克:
将高阶逻辑与集合论形式化相结合。 20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/CruzFilipeMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CruzFilipeMP23
路易斯·克鲁斯·菲利佩,法布里奇奥·蒙泰西,马可·佩雷索蒂:
舞蹈规划的形式理论。 21

第67卷第3期，2023年9月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/LeidingerW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LeidingerW23
亨德里克·莱丁格,克里斯托夫·魏登巴赫:
SCL（EQ）：等式一阶逻辑的SCL。 22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Popescu23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Popescu23
安德烈·波佩斯库:
绑定扩展版本语法的基于重排和重命名的递归。 23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Urban23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Urban23
克里斯蒂安·厄本:
POSIX正则表达式派生词法。 24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/HolubRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HolubRS23
斯蒂芬·霍卢布,马丁·拉斯卡,斯泰潘·斯塔罗斯塔:
不保留基本体的二进制代码。 25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/LuoCJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/LuoCJ23
云龙洛,Che Cheng（车成）,蒋介洪:
依赖随机布尔可满足性的分解证明系统。 26
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/DasG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/DasG23
阿努帕姆·达斯,玛丽安娜·吉兰多:
传递闭包逻辑的循环超序列系统。 27
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/AffeldtC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AffeldtC23
雷纳尔德·阿弗尔德,西里尔·科恩:
依赖型理论中的可拓测度构造及其在集成中的应用。 28
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/MaggesiB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MaggesiB23
马可·马格西,科西莫·佩里尼·布罗吉:
在HOL Light中机械化Gödel-Löb Provability逻辑。 29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/EchenimP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/EchenimP23
Mnacho Echenim公司,尼古拉斯·佩尔蒂埃:
带有归纳定义和数据的分离逻辑的证明过程。 30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ReevesHB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ReevesHB23
约瑟夫·李维斯,Marijn J.H.鞋垫,兰达尔·布莱恩特:
传播冗余子句的预处理。 31
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/ShengNRZDGPQBT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ShenNRZDGPQBT23
英生,安德烈斯·诺兹利,安德鲁·雷诺兹,尤尼·佐哈尔,大卫·L·迪尔,沃尔夫冈·格里斯坎普,Junkil公园,沙兹·卡德尔,克拉克·W·巴雷特,塞萨尔·蒂内利:
关于向量的推理：序列理论的可满足模。 32

第67卷第4期，2023年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/MartinDorelMR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MartinDorelMR23
埃里克·马丁·多尔,纪尧姆·梅尔金德,皮埃尔·罗斯:
在Coq Proof Assistant中启用浮点运算。 33
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/ShengZRRBT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ShengZRRBT23
英生,尤尼·佐哈尔,克里斯托夫·林盖森,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
结合了稳定的无限性和（强烈的）礼貌。 34
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/BohmB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BohmB23
本杰明·伯姆,奥拉夫·拜尔斯多夫:
通过公式量规的QCDCL下限。 35
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/HaselwarterB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/HaselwarterB23
菲利普·哈塞尔瓦特,安德烈·鲍尔:
有上下文和无上下文的金融类型理论。 36
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/Indrzejczak23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Indrzejczak23
安德烈·因德泽扎克:
四值拟相关逻辑的双序演算：截消和插值。 37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/PengZCL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PengZCL23
西城鹏,张京忠,毛晨,刘桑纽亚（Sannyya Liu）:
基于复数恒等式的自证几何定理自动证明。 38
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/ZhengS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/ZhengS23
Sen Zheng先生,雷娜特·施密特:
基于饱和度的布尔连接查询——被保护量化片段的回答和重写。 39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/MunozAMDNASR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/MunozAMDNASR23
塞萨尔·穆尼奥斯,毛里西奥·阿亚拉·林科,玛丽亚诺·莫斯卡托,亚伦·达特,安东尼·纳卡维奇,阿里亚娜·阿尔夫斯·阿尔梅达,安德烈亚·艾维拉·达席尔瓦,蒂亚戈·门登萨·费雷拉·拉莫斯:
一阶递归函数终止准则的形式验证。 40

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。