自动演绎未来方向研讨会，1996 年 3 月 2-3 日，伊利诺伊州芝加哥-猫眼课题宝

自动演绎未来方向研讨会，1996 年 3 月 2-3 日，伊利诺伊州芝加哥

批准号：

9625544

负责人：

Donald Loveland

金额：

$1.97万

依托单位：

Duke University

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1996

资助国家：

美国

项目状态：

已结题

起止时间：

1996-01-01 至 1996-12-31

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=9625544&HistoricalAwards=false

关键词：

Workshop Future Directions Automated Deduction

项目摘要

项目成果

Donald Loveland的其他基金

相似基金

相关文献

中文摘要

翻译

9625544 Loveland本次研讨会将评估自动扣减领域的成就、机会和目标。将汇集该领域的一些关键研究人员和该技术的用户样本，特别是讨论自动扣除对目前和未来其他领域的影响。该研讨会将向NSF和更大的科学界提交报告，确定自动演绎领域的主要成就，并讨论未来的方向。***

英文摘要

9625544 Loveland This workshop will assess the achievements, opportunities and goals of the field of automated deduction. Some key researchers of the field and a sample of users of the technology will be assembled to address in particular the impact of automated deduction on other fields, present and future. This workshop will produce reports to NSF and the larger scientific community, identifying the major accomplishments, and discussing future directions, for the automated deduction field. ***

期刊论文(0)

专著(0)

科研奖励(0)

会议论文