Acquisition of Computer Science and Computer Engineering Research Equipment
Acquisition of Computer Science and Computer Engineering Research Equipment
批准号:
7907554
负责人:
Woodrow Bledsoe
金额:
$10.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1979
资助国家:
美国
项目状态:
已结题
起止时间:
1979-04-01 至 1980-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research on Automated Theorem Proving
-
批准号:9307731
-
项目类别:Standard Grant
-
资助金额:$11.84万
-
财政年份:1994
-
负责人:Woodrow Bledsoe
-
依托单位:
Research on Automated Theorem Proving
-
批准号:9106496
-
项目类别:Continuing Grant
-
资助金额:$10.09万
-
财政年份:1991
-
负责人:Woodrow Bledsoe
-
依托单位:
STR+VE Distribution Proposal
-
批准号:9101980
-
项目类别:Standard Grant
-
资助金额:$2.91万
-
财政年份:1991
-
负责人:Woodrow Bledsoe
-
依托单位:
Research on Automated Theorem Proving
-
批准号:8922555
-
项目类别:Standard Grant
-
资助金额:$8.4万
-
财政年份:1990
-
负责人:Woodrow Bledsoe
-
依托单位:
Research on Automatic Theorem Proving and Applications
-
批准号:8613706
-
项目类别:Continuing Grant
-
资助金额:$41.47万
-
财政年份:1987
-
负责人:Woodrow Bledsoe
-
依托单位:
Research on Automatic Theorem Proving and Applications
-
批准号:8011417
-
项目类别:Continuing Grant
-
资助金额:$28.26万
-
财政年份:1980
-
负责人:Woodrow Bledsoe
-
依托单位:
Research on Automatic Theorem Proving and Applications
-
批准号:7720701
-
项目类别:Continuing Grant
-
资助金额:$23.21万
-
财政年份:1977
-
负责人:Woodrow Bledsoe
-
依托单位:
Research in Automatic Theorem Proving
-
批准号:7412866
-
项目类别:Continuing Grant
-
资助金额:$12.1万
-
财政年份:1974
-
负责人:Woodrow Bledsoe
-
依托单位:
Research in Automatic Theorem Proving
-
批准号:7203611
-
项目类别:Standard Grant
-
资助金额:$8.38万
-
财政年份:1972
-
负责人:Woodrow Bledsoe
-
依托单位:
国内基金
海外基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
-
批准号:62375132
-
项目类别:面上项目
-
资助金额:54.00万元
-
批准年份:2023
-
负责人:马骏
-
依托单位:
Journal of Computer Science and Technology
-
批准号:61224001
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2012
-
负责人:万晓霰
-
依托单位:
Journal of Computer Science and Technology
-
批准号:61040017
-
项目类别:专项基金项目
-
资助金额:4.0万元
-
批准年份:2010
-
负责人:万晓霰
-
依托单位: