掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International conference on automated deduction
International conference on automated deduction
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The Tableau-based Theorem Prover _3T~AP Version 4.0
机译:
基于Tableau的定理箴言_3T〜AP 4.0版
作者:
Bernhard Beckert
;
Reiner Haehnle
;
Peter Oel
;
Martin Sulzmann
会议名称:
《International conference on automated deduction》
|
1996年
2.
Structuring Metatheory on Inductive Definitions
机译:
在归纳定义上构建结婚核园
作者:
David Basin
;
Sean Matthews
会议名称:
《International conference on automated deduction》
|
1996年
3.
Proof-Terms for Classical and Intuitionistic Resolution
机译:
验证 - 古典和直觉分辨率的术语
作者:
Eike Ritter
;
David Pym
;
Lincoln Wallen
会议名称:
《International conference on automated deduction》
|
1996年
4.
Proof-Search in Intuitionitic Logic with Equality, or Back to Simultaneous Rigid E-Unification
机译:
在具有平等的直觉逻辑中证明 - 或者返回同时刚性电子统一
作者:
Andrei Voronkov
会议名称:
《International conference on automated deduction》
|
1996年
5.
Termination of Theorem Proving by Reuse
机译:
通过重用终止定理证明
作者:
Thomas Kolbe
;
Christoph Walther
会议名称:
《International conference on automated deduction》
|
1996年
6.
An Embedding of Ruby in Isabelle
机译:
在isabelle中嵌入红宝石
作者:
Ole Rasmussen
会议名称:
《International conference on automated deduction》
|
1996年
7.
Extensions to a Generalization Critic for Inductive Proof
机译:
对归纳证明的概括批评者的扩展
作者:
Andrew Ireland
;
Alan Bundy
会议名称:
《International conference on automated deduction》
|
1996年
8.
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
机译:
取消阿比越大陆的定理(扩展摘要)
作者:
Harald Ganzinger
;
Uwe Waldmann
会议名称:
《International conference on automated deduction》
|
1996年
9.
Mechanical Verification of Mutually Recursive Procedures
机译:
相互递归程序的机械验证
作者:
Peter V.Homeier
;
David F.Martin
会议名称:
《International conference on automated deduction》
|
1996年
10.
Unification in Pseudo-Linear Sort Theories is Decidable
机译:
伪线性排序理论中的统一是可判定的
作者:
Christoph Weidenbach
会议名称:
《International conference on automated deduction》
|
1996年
11.
What Can We Hope to Achieve From Automated deduction?
机译:
我们希望从自动扣除中实现什么?
作者:
Dana S.Scott
会议名称:
《International conference on automated deduction》
|
1996年
12.
Optimizing Proof Search in Model Elimination
机译:
在模型消除中优化证明搜索
作者:
John Harrison
会议名称:
《International conference on automated deduction》
|
1996年
13.
More Church-Rosser Proofs (in Isabelle/HOL)
机译:
更多的教堂 - rosser证明(Isabelle / hol)
作者:
Tobias Nipkow
会议名称:
《International conference on automated deduction》
|
1996年
14.
Experiments in the Heuristic Use of Past Proof Experience
机译:
在启发式使用过去证据体验的实验
作者:
Mattias Fuchs
会议名称:
《International conference on automated deduction》
|
1996年
15.
Patching Faulty Conjectures
机译:
修补错误的猜想
作者:
Martin Protzen
会议名称:
《International conference on automated deduction》
|
1996年
16.
IMPS: An Updated System Description
机译:
IMMS:更新的系统描述
作者:
William M.Farmer
;
Joshua D.Guttman
;
F.Javier Thayer Fabrega
会议名称:
《International conference on automated deduction》
|
1996年
17.
Presenting Machine-Found Proofs
机译:
提出机器找到的证据
作者:
Xiaorong Huang
;
Armin Fiedler
会议名称:
《International conference on automated deduction》
|
1996年
18.
Ground Resolution with Group Computations on Semantic Symmetires
机译:
地面分辨率与语义对称的组计算
作者:
Thierry Boy de la Tour
会议名称:
《International conference on automated deduction》
|
1996年
19.
Building Decision Procedures for Modal Logical from Propositional Decision Procedures - The Case Study of Modal K*
机译:
从命题决策程序建立模态逻辑的决策程序 - 模态K *的案例研究
作者:
Fausto Giunchiglia
;
Roberto Sebastiani
会议名称:
《International conference on automated deduction》
|
1996年
20.
Converting Non-Classical Matrix Proofs into Sequent-Style Systems
机译:
将非古典矩阵证明转换为Sequent风格的系统
作者:
Stephan Schmitt
;
Christoph Kreitz
会议名称:
《International conference on automated deduction》
|
1996年
21.
Partitioning Methods for Satisfiability Testing on Large Formulas
机译:
大型公式可靠性测试的分区方法
作者:
Tai Joon Park
;
Allen Van Gelder
会议名称:
《International conference on automated deduction》
|
1996年
22.
ABSFOL: A Proof Checker with Abstraction
机译:
absfol:一种校正检查器,具有抽象
作者:
Fausto Giunchiglia
;
Adolfo Villafiorita
会议名称:
《International conference on automated deduction》
|
1996年
23.
XRay: A Prolog Technolgoy Theorem Prover for default Reasoning: A System Description
机译:
X Ray:默认推理的Prolog技术定理证明:系统描述
作者:
Torsten Schaub
;
Stefan Bruening
;
Pascal Nicolas
会议名称:
《International conference on automated deduction》
|
1996年
24.
An Abstract Machine for Fixed-Order Dynamically Stratified Programs
机译:
用于固定订单动态分层程序的抽象机器
作者:
Konstantinos Sagonas
;
Terrance Swift
;
David S.Warren
会议名称:
《International conference on automated deduction》
|
1996年
25.
Learning Domain Knowledge to Improve Theorem Proving
机译:
学习域名知识,以提高定理证明
作者:
Joerg Denzinger
;
Stephan Schulz
会议名称:
《International conference on automated deduction》
|
1996年
26.
Path Indexing for AC-Theories
机译:
对AC-理论的路径索引
作者:
Peter Graf
会议名称:
《International conference on automated deduction》
|
1996年
27.
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
机译:
表演动态逻辑的表格和算法
作者:
Giuseppe De Giacomo
;
Fabio Massacci
会议名称:
《International conference on automated deduction》
|
1996年
28.
FasTraC A Decentralized Traffic control system Based on Logic Programming
机译:
基于逻辑编程的Fastrac一种分散的交通控制系统
作者:
Giovanni Felici
;
Giovanni Rinaldi
;
Klaus Truemper
会议名称:
《International conference on automated deduction》
|
1996年
29.
Semantic Trees Revisited: Some New Completeness Results
机译:
重新审视语义树:一些新的完整性结果
作者:
Christian G.Fermueller
会议名称:
《International conference on automated deduction》
|
1996年
30.
Rewrite Semantics for Production Rule Systems: Theory and Applications
机译:
重写生产规则系统的语义:理论和应用
作者:
Wayne Snyder
;
James G.Schmolze
会议名称:
《International conference on automated deduction》
|
1996年
31.
Reflection Formal Tactics in a Deductive Reflection Frameworks
机译:
在演绎反射框架的反射正式策略
作者:
Harald Ruebeta
会议名称:
《International conference on automated deduction》
|
1996年
32.
Efficient Model Generation through Compliation
机译:
通过编译的有效模型生成
作者:
Heribert Schuetz
;
Tim Geisler
会议名称:
《International conference on automated deduction》
|
1996年
33.
Spass flotter version 0.42
机译:
有趣&Flotters版本0.42
作者:
Christoph Weidenbach
;
Bernd Gaede
;
Georg Rock
会议名称:
《International conference on automated deduction》
|
1996年
34.
CtCoq: A System Presentation
机译:
CTCOQ:系统演示文稿
作者:
Janet Bertot
;
Yves Bertot
会议名称:
《International conference on automated deduction》
|
1996年
关键词:
system presentation;
application;
35.
An Improved Lower Bound for the Elementary Theories of Trees
机译:
树木基本理论的改善下限
作者:
Sergei Vorobyov
会议名称:
《International conference on automated deduction》
|
1996年
36.
Internal Analogy in theorem Proving
机译:
内部类比在定理中证明
作者:
Erica Melis
;
Jon Whittle
会议名称:
《International conference on automated deduction》
|
1996年
37.
SiCoTheo: Simple competitive Parallel Theorem Provers
机译:
Sicotheo:简单的竞争平行定理普罗维尔
作者:
J.Schumann
会议名称:
《International conference on automated deduction》
|
1996年
38.
System Description Generating Models by SEM
机译:
系统描述通过SEM生成模型
作者:
Jian Zhang
;
Hantao Zhang
会议名称:
《International conference on automated deduction》
|
1996年
39.
Proof Search with Set Variable Instantiation in the Calculus of Constructions
机译:
在构造微积分中的Set变量实例化的证明搜索
作者:
Amy Felty
会议名称:
《International conference on automated deduction》
|
1996年
40.
A Resolution Theorem Prover for Intuitionistic Logic
机译:
直觉逻辑的决议定理证明
作者:
Tanel Tammet
会议名称:
《International conference on automated deduction》
|
1996年
41.
INKA: The Next Generation
机译:
墨水:下一代
作者:
Dieter Hutter
;
Claus Sengler
会议名称:
《International conference on automated deduction》
|
1996年
42.
Search strategies for Resolution in Temporal Logics
机译:
时间逻辑分辨率的搜索策略
作者:
Clare Dixon
会议名称:
《International conference on automated deduction》
|
1996年
43.
Termination of Algorithms over Non-freely Generated Data Types
机译:
在非自由生成的数据类型上终止算法
作者:
Claus Sengler
会议名称:
《International conference on automated deduction》
|
1996年
44.
Geother: A Geometry Theorem Prover
机译:
地热:几何定理先驱
作者:
Dongming Wang
会议名称:
《International conference on automated deduction》
|
1996年
45.
Unification Algorithms Cannot be Combined in Polynomial Time
机译:
统一算法不能在多项式时间中组合
作者:
Miki Hermann
;
Phokion G.Kolaitis
会议名称:
《International conference on automated deduction》
|
1996年
46.
Lemma Discovery in Automating Induction
机译:
在自动化诱导方面发现了雷玛发现
作者:
Deepak Kapur
;
M.Subramaniam
会议名称:
《International conference on automated deduction》
|
1996年
47.
Transforming Termination by Self-Labelling
机译:
通过自我标记改造终止
作者:
Aart Middeldorp
;
Hitoshi Ohsaki
;
Hans Zantema
会议名称:
《International conference on automated deduction》
|
1996年
48.
Algebra and Automated Deduction
机译:
代数和自动扣除
作者:
Steve Linton
;
Ursula Martin
;
Peter Proehle
;
Duncan Shand
会议名称:
《International conference on automated deduction》
|
1996年
49.
A New Method for Knowledge complilation; The Achievement by Cycle Search
机译:
一种知识补编的新方法;循环搜索的成就
作者:
Olivier Roussel
;
Philippe Mathieu
会议名称:
《International conference on automated deduction》
|
1996年
关键词:
knowledge compliation;
expert systems;
resolution;
50.
Grammar Specification in Categorial Logics and Theorem Proving
机译:
基于分类逻辑和定理证明的语法规范
作者:
Saturnino F Luz-Filho
会议名称:
《International conference on automated deduction》
|
1996年
51.
Advanced Indexing Operations on Substitution Trees
机译:
替代树上的高级索引操作
作者:
Peter Graf
;
Christoph Meyer
会议名称:
《International conference on automated deduction》
|
1996年
52.
Optimal Axiomatizations for Multiple-Valued Operators and quantifiers Based on Semi-lattices
机译:
基于半晶格的多值运营商和量化器的最佳公理
作者:
Gernot Salzer
会议名称:
《International conference on automated deduction》
|
1996年
53.
On Shostak's Decision Procedure for Combinations of Theories
机译:
关于夏摩求的理论组合的决策程序
作者:
David Cyrluk
;
Patrick Lincoln
;
Natarajan Shankar
会议名称:
《International conference on automated deduction》
|
1996年
54.
Theorem Proving with Group Presentations: Examples and Questions
机译:
分组演示文稿的定理:例子和问题
作者:
Ursula Martin
会议名称:
《International conference on automated deduction》
|
1996年
55.
The Design of the CADE-13 ATP System Competition
机译:
CADE-13 ATP系统竞争的设计
作者:
Christian B.Suttner
;
Geoff Sutcliffe
会议名称:
《International conference on automated deduction》
|
1996年
56.
On the Practical Value of Different Definitional Translations to Normla Form
机译:
关于不同定义翻译成正常形式的实际价值
作者:
Uwe Egly
;
Thomas Rath
会议名称:
《International conference on automated deduction》
|
1996年
57.
MUltlog 1.0: Towards an Expert System for Many-Valued Logics
机译:
Multlog 1.0:对多价逻辑的专家系统
作者:
Vienna Group
会议名称:
《International conference on automated deduction》
|
1996年
58.
Unification and Matching Modulo Nilpotence
机译:
统一和匹配模尼单位
作者:
Qing Guo
;
Paliath Narendran
;
D.A.Wolfram
会议名称:
《International conference on automated deduction》
|
1996年
59.
An Introduction to Geometry Expert
机译:
几何专家介绍
作者:
Shang-Ching
;
Xiao-Shan Gao
;
Jing-Zhaong Zhang
会议名称:
《International conference on automated deduction》
|
1996年
60.
SCAN-Eliminatin of Predicate Quantifiers
机译:
扫描 - 消除谓词量词
作者:
Hans Juergen Ohlbach
会议名称:
《International conference on automated deduction》
|
1996年
61.
Saturation-Based Theorem Proving: Past successes and Future Potential
机译:
基于饱和的定理证明:过去的成功和未来的潜力
作者:
Harald Ganzinger
会议名称:
《International conference on automated deduction》
|
1996年
62.
Walther Recursion
机译:
Walther递归
作者:
David McAllester
;
Kostas Arkoudas
会议名称:
《International conference on automated deduction》
|
1996年
63.
Resolution-Based Calculi for Modal and Temproal Logics
机译:
基于分辨率的模拟 - 用于模态和时间逻辑
作者:
Andreas Nonnengart
会议名称:
《International conference on automated deduction》
|
1996年
意见反馈
回到顶部
回到首页