默认搜索操作

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

问别人

《自动推理杂志》（JAR）第19卷

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第19卷第1期，1997年8月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Giesl97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Giesl97
吉尔根·吉斯尔:
嵌套和交互递归算法的终止。 1-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/Johnson97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Johnson97
C.A.约翰逊:
演绎树与不确定演绎数据库中的视图更新问题。 31-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/NarendranO97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/NarendranO97
巴利亚特·纳伦德兰,弗里德里希·奥托:
可变交错理论的单等式统一与同时等式统一及等式统一。 87-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/AstrachanL97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/AstrachanL97
欧文·L·阿斯特拉坎,唐纳德·洛夫兰:
模型消除过程中引理的使用。 117-141

第19卷第2期，1997年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/CorsiniR97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CorsiniR97
马克·米歇尔·科尔西尼,安托万·劳兹:
图皮：有限域上的微积分作为约束语言。 143-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/罐子/Horwein97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/Horwein97网址
卡琳·霍温:
通过引入新的Lemmata构造解决方案证明。 173-203
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/BaumgartnerB97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BaumgartnerB97
鲍姆加特内,斯特凡·布吕宁:
模型消去的析取正精化及其在包含删除中的应用。 205-262

第19卷第3期，1997年12月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/McCune97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/McCune97
威廉·麦卡恩:
罗宾斯问题的解决。 263-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/CaferraP97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/CaferraP97
里卡多·卡费拉,尼古拉斯·佩尔蒂埃:
一种验证和纠正逻辑程序的新技术。 277-318
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/BundyGVW97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BundyGVW97
阿兰·邦迪,福斯托·金奇利亚,阿道夫·维拉菲奥里塔,托比·沃尔什:
抽象证明检查：一个受不完全性定理启发的例子。 319-346
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/jar/SturgillS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/SturgillS97
大卫·B·斯特吉尔,阿尔贝托·玛丽亚·塞格雷:
唠叨：应用于一阶推理的分布式对抗搜索运行技术。 347-376

管理网站设置

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