逻辑证明程序及其计算机实现-猫眼课题宝

逻辑证明程序及其计算机实现

批准号：

66P5273

负责人：

金额：

$0.0万

依托单位：

New York University

依托单位国家：

美国

项目类别：

财政年份：

1966

资助国家：

美国

项目状态：

已结题

起止时间：

1966-01-01 至 1967-01-01

来源：

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

关键词：

Logical Proof Procedures Their Computer

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

海外基金