刷新
{{item.name}}会员
Research in Automated Deduction and Term Rewriting Systems
自动演绎和术语重写系统的研究
基本信息
- 批准号：8516243
- 负责人：
- 金额：$ 19.04万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-05-15 至 1988-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
David Plaisted其他文献
David Plaisted的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('David Plaisted', 18)}}的其他基金
Instance-Based Theorem Proving with Semantics and Equality
基于实例的定理证明语义和等式
- 批准号：
9972118 - 财政年份：1999
- 资助金额：
$ 19.04万 - 项目类别：
Standard Grant
Instance-Based Theorem Proving with Semantics and Equality
基于实例的定理证明语义和等式
- 批准号：
9627316 - 财政年份：1996
- 资助金额：
$ 19.04万 - 项目类别：
Standard Grant
Hyper-Linking with Equality and Semantics
具有平等性和语义的超链接
- 批准号：
9108904 - 财政年份：1992
- 资助金额：
$ 19.04万 - 项目类别：
Continuing Grant
Research in Term Rewriting Systems and Automated Deduction,
术语重写系统和自动演绎研究，
- 批准号：
8802282 - 财政年份：1988
- 资助金额：
$ 19.04万 - 项目类别：
Continuing Grant
相似海外基金
Automated Deduction and Reduction Orders
自动扣除和减少订单
- 批准号：
22K11900 - 财政年份：2022
- 资助金额：
$ 19.04万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
CRI: CRD Libraries and Software for Automated Deduction
CRI：用于自动推演的 CRD 库和软件
- 批准号：
0708218 - 财政年份：2007
- 资助金额：
$ 19.04万 - 项目类别：
Standard Grant
Research of Automated Deduction System for Linear Logic
线性逻辑自动推导系统的研究
- 批准号：
14580375 - 财政年份：2002
- 资助金额：
$ 19.04万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Automated Deduction and Computational Complexity
自动推导和计算复杂度
- 批准号：
9732041 - 财政年份：1998
- 资助金额：
$ 19.04万 - 项目类别：
Continuing Grant
Workshop on Future Directions of Automated Deduction, March 2-3, l996, Chicago, IL
自动演绎未来方向研讨会，1996 年 3 月 2-3 日，伊利诺伊州芝加哥
- 批准号：
9625544 - 财政年份：1996
- 资助金额：
$ 19.04万 - 项目类别：
Standard Grant
Mathematical Sciences: Toward a Theory of Well-Founded Orderings for Use in Automated Deduction
数学科学：走向一种用于自动演绎的有根据的排序理论
- 批准号：
9696043 - 财政年份：1995
- 资助金额：
$ 19.04万 - 项目类别：
Standard Grant