自动演绎未来方向研讨会，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 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)

会议论文