掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)
International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
电脑知识与技术(数字社区与智能家居)
计算机与数字工程
电脑开发与应用
计算机工程
自动化与信息工程
传动技术
福建电脑
宽带世界
模式识别与人工智能
软件(教育现代化)(电子版)
更多>>
相关外文期刊
Systems & Network Management Journal
PC AI
Journal of Intelligent Information Systems
International journal of entelligent systems
International Journal of Applied Research on Information Technology and Computing
Journal of information and computing science
Scientific Computing & Instrumentation
Computers & operations research
Presence
International journal of distributed systems and technologies
更多>>
相关中文会议
2011年亚太信息网络与数字内容安全会议(APCID2011)
全国第七届嵌入式系统与单片机学术交流会
第四届全国虚拟现实与可视化学术会议
2016年全国计算机体系结构学术年会 (ACA2016)
第十届全国少数民族语言文字信息处理学术研讨会
第十五届全国数据库学术会议
中国自动化学会西南地区自动化学会2002年年会
浙江省电子学会2013年学术年会
全国控制网络会议
2004年全国开放式分布与并行计算机学术会议(DPCS2004)
更多>>
相关外文会议
2015 IEEE 12th International Symposium on Autonomous Decentralized Systems
Ubiquitous Computing Systems; Lecture Notes in Computer Science; 4239
World Congress on Intelligent Control and Automation(WCICA 2004) vol.6; 20040615-19; Hangzhou(CN)
International Conference on Computational Intelligence and Security(CIS 2006); 20061103-06; Guangzhou(CN)
2016 Fifth ICT International Student Project Conference
International Conference on String Processing and Information Retrieval(SPIRE 2005); 20051102-04; Buenos Aires(AR)
Case Based Reasoning: Prospects for Applications
Conference on Multimedia Systems and Applications Ⅳ Aug 21-22, 2001, Denver, USA
Information computing and applications
IFIP 255; IFIP(International Federation for Information Processing) TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprese Information Systems(CONFENIS 2007); 20071014-16; Beijing(CN)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Cut-Simulation in Impredicative Logics
机译:
祈使逻辑中的割模拟
作者:
Christoph E. Benzmueller
;
Chad E. Brown
;
Michael Kohlhase
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
2.
Verifying Mixed Real-Integer Quantifier Elimination
机译:
验证混合实整数量词消除
作者:
Amine Chaieb
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
3.
Towards Self-verification of HOL Light
机译:
走向自我验证的HOL Light
作者:
John Harrison
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
4.
Presburger Modal Logic Is PSPACE-Complete
机译:
Presburger模态逻辑是PSPACE完整的
作者:
Stephane Demri
;
Denis Lugiez
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
5.
Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
机译:
正式证明有效的多项式gcd算法的实现
作者:
Assia Mahboubi
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
6.
Representing and Reasoning with Operational Semantics
机译:
用操作语义表示和推理
作者:
Dale Miller
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
7.
Partial Recursive Functions in Higher-Order Logic
机译:
高阶逻辑中的部分递归函数
作者:
Alexander Krauss
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
8.
Matrix Interpretations for Proving Termination of Term Rewriting
机译:
证明条款重写终止的矩阵解释
作者:
Joerg Endrullis
;
Johannes Waldmann
;
Hans Zantema
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
9.
Importing HOL into Isabelle/HOL
机译:
将HOL导入Isabelle / HOL
作者:
Steven Obua
;
Sebastian Skalberg
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
10.
Interpolation in Local Theory Extensions
机译:
局部理论扩展中的插值
作者:
Viorica Sofronie-Stokkermans
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
11.
Inferring Network Invariants Automatically
机译:
自动推断网络不变式
作者:
Olga Grinchtein
;
Martin Leucker
;
Nir Piterman
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
12.
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
机译:
通过自动生成解析器将TPTP语言扩展为高阶逻辑
作者:
Allen Van Gelder
;
Geoff Sutcliffe
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
13.
Extracting Programs from Constructive HOL Proofs Via IZF Set-Theoretic Semantics
机译:
通过IZF集合论语义从构造性HOL证明中提取程序
作者:
Robert Constable
;
Wojciech Moczydlowski
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
14.
First-Order Logic with Dependent Types
机译:
相依类型的一阶逻辑
作者:
Florian Rabe
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
15.
Flyspeck Ⅰ: Tame Graphs
机译:
FlyspeckⅠ:驯服图
作者:
Tobias Nipkow
;
Gertrud Bauer
;
Paula Schultz
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
16.
Consistency and Completeness of Rewriting in the Calculus of Constructions
机译:
构造演算中重写的一致性和完整性
作者:
Daria Walukiewicz-Chrzaszcz
;
Jacek Chrzaszcz
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
17.
An Interpretation of Isabelle/HOL in HOL Light
机译:
伊莎贝尔/ HOL在HOL Light中的解释
作者:
Sean McLaughlin
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
18.
AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
机译:
AProVE 1.2:依赖对框架中的自动终止证明
作者:
Juergen Giesl
;
Peter Schneider-Kamp
;
Rene Thiemann
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
19.
Automating Proofs in Category Theory
机译:
范畴论中的自动证明
作者:
Dexter Kozen
;
Christoph Kreitz
;
Eva Richter
会议名称:
《》
|
2006年
20.
Canonical Gentzen-Type Calculi with (n,k)-ary Quantifiers
机译:
具有(n,k)元量词的规范Gentzen型计算
作者:
Anna Zamansky
;
Arnon Avron
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
21.
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
机译:
线性定序规格模公理的充分完整性检查器
作者:
Joe Hendrix
;
Jose Meseguer
;
Hitoshi Ohsaki
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
22.
A Powerful Technique to Eliminate Isomorphism in Finite Model Search
机译:
在有限模型搜索中消除同构的强大技术
作者:
Xiangxue Jia
;
Jian Zhang
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
关键词:
isomorphism;
scheme;
symmetry breaking;
LNH;
DASH;
23.
Solving Sparse Linear Constraints
机译:
解决稀疏线性约束
作者:
Shuvendu K. Lahiri
;
Madanlal Musuvathi
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
24.
A Resolution-Based Decision Procedure for SHOIQ
机译:
SHOIQ的基于决议的决策程序
作者:
Yevgeny Kazakov
;
Boris Motik
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
25.
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)
机译:
ACL2(SULFA)中可展开列表公式的子类的基于SAT的决策程序
作者:
Erik Reeber
;
Warren A. Hunt Jr.
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
26.
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
机译:
反向方法中向前和向后链接的逻辑表征
作者:
Kaustuv Chaudhuri
;
Frank Pfenning
;
Greg Price
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
27.
Connection Tableaux with Lazy Paramodulation
机译:
带有惰性副调制的连接Tableaux
作者:
Andrei Paskevich
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
28.
Tree Automata with Equality Constraints Modulo Equational Theories
机译:
具有等式约束模方程理论的树自动机
作者:
Florent Jacquemard
;
Michael Rusinowitch
;
Laurent Vigneron
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
29.
Using the TPTP Language for Writing Derivations and Finite Interpretations
机译:
使用TPTP语言编写派生词和有限解释
作者:
Geoff Sutcliffe
;
Stephan Schulz
;
Koen Claessen
;
Allen Van Gelder
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
30.
System Description: GCLCprover + GeoThms
机译:
系统描述:GCLCprover + GeoThms
作者:
Predrag Janicic
;
Pedro Quaresma
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
31.
The MathServe System for Semantic Web Reasoning Services
机译:
用于语义Web推理服务的MathServe系统
作者:
Juergen Zimmer
;
Serge Autexier
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
32.
Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
机译:
完全浮点证明的陷阱:Veltkamp / Dekker算法的形式证明示例
作者:
Sylvie Boldo
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
33.
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
机译:
描述逻辑中作为一等公民的键和功能依赖性
作者:
David Toman
;
Grant Weddell
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
34.
On the Strength of Proof-Irrelevant Type Theories
机译:
论证明非类型理论的力量
作者:
Benjamin Werner
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
35.
Mathematical Theory Exploration
机译:
数学理论探索
作者:
Bruno Buchberger
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
36.
A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
机译:
模块化算法的纯函数库及其在证明大素数方面的应用
作者:
Benjamin Gregoire
;
Laurent Thery
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
37.
FaCT++ Description Logic Reasoner: System Description
机译:
FaCT ++描述逻辑推理器:系统描述
作者:
Dmitry Tsarkov
;
Ian Horrocks
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
38.
Geometric Resolution: A Proof Procedure Based on Finite Model Search
机译:
几何分辨率:基于有限模型搜索的证明程序
作者:
Hans de Nivelle
;
Jia Meng
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
39.
Formal Global Optimisation with Taylor Models
机译:
使用Taylor模型进行正式全局优化
作者:
Roland Zumkeller
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
40.
Dynamic Logic with Non-rigid Functions A Basis for Object-Oriented Program Verification
机译:
具有非刚性功能的动态逻辑:面向对象程序验证的基础
作者:
Bernhard Beckert
;
Andre Platzer
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
关键词:
dynamic logic;
sequent calculus;
program logic;
software verification;
logical foundations of programming languages;
object-orientation;
41.
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach
机译:
消除高阶统一中的冗余:一种轻量级方法
作者:
Brigitte Pientka
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
42.
Combining Type Theory and Untyped Set Theory
机译:
结合类型理论和非类型集理论
作者:
Chad E. Brown
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
43.
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
机译:
Nelson-Oppen和基于重写的决策程序的可判定性和不可判定性结果
作者:
Maria Paola Bonacina
;
Silvio Ghilardi
;
Enrica Nicolini
;
Silvio Ranise
;
Daniele Zucchelli
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
44.
Automatic Construction and Verification of Isotopy Invariants
机译:
同位素不变量的自动构建和验证
作者:
Volker Sorge
;
Andreas Meier
;
Roy McCasland
;
Simon Colton
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
45.
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
机译:
无限标签重写系统的递归路径排序自动化
作者:
Adam Koprowski
;
Hans Zantema
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
46.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
机译:
自底向上模型生成方法的功能块和其他增强功能
作者:
Peter Baumgartner
;
Renate A. Schmidt
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
47.
CEL-A Polynomial-Time Reasoner for Life Science Ontologies
机译:
CEL-A生命科学本体的多项式时间推理器
作者:
Franz Baader
;
Carsten Lutz
;
Boontawee Suntisrivaraporn
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
48.
CASC-J3 The 3rd IJCAR ATP System Competition
机译:
CASC-J3第三届IJCAR ATP系统比赛
作者:
Geoff Sutcliffe
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
49.
Specifying and Reasoning About Dynamic Access-Control Policies
机译:
指定和推理动态访问控制策略
作者:
Daniel J. Dougherty
;
Kathi Fisler
;
Shriram Krishnamurthi
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
50.
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
机译:
Isabelle / HOL中实现的名义数据类型的递归组合器
作者:
Christian Urban
;
Stefan Berghofer
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
关键词:
lambda-calculus;
proof assistants;
nominal logic;
primitive recursion;
51.
Stratified Context Unification Is NP-Complete
机译:
分层上下文统一是NP完全的
作者:
Jordi Levy
;
Manfred Schmidt-Schauss
;
Mateu Villaret
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
52.
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic
机译:
用于隐含逻辑的Hudelmaier深度绑定后续演算的强力消除系统
作者:
Roy Dyckhoff
;
Delia Kesner
;
Stephane Lengrand
会议名称:
《International Joint Conference on Automated Reasoning(IJCAR 2006); 20060817-20; Seattle,WA(US)》
|
2006年
意见反馈
回到顶部
回到首页