RUI: Computer Research Equipment (Computer Science)
RUI: Computer Research Equipment (Computer Science)
批准号:
8405477
负责人:
Ken McAloon
金额:
$7.94万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1984
资助国家:
美国
项目状态:
已结题
起止时间:
1984-07-15 至 1985-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
U.S.-Korea Cooperative Research on Constraint Methods and Inference Engines for Expert Systems
-
批准号:9404905
-
项目类别:Standard Grant
-
资助金额:$2.29万
-
财政年份:1994
-
负责人:Ken McAloon
-
依托单位:
RUI: Highly Parallel Constraint Logic Programming for AI and MIP Applications
-
批准号:9115603
-
项目类别:Standard Grant
-
资助金额:$13.64万
-
财政年份:1992
-
负责人:Ken McAloon
-
依托单位:
U.S.-Japan Cooperative Research: Applied Constraint Logic Programming
-
批准号:8816418
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:1989
-
负责人:Ken McAloon
-
依托单位:
Constraints, Logic Programming and Rule-Based Systems
-
批准号:8902511
-
项目类别:Continuing Grant
-
资助金额:$18.62万
-
财政年份:1989
-
负责人:Ken McAloon
-
依托单位:
Logic, Computational Complexity and Rule Based Systems
-
批准号:8703086
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1987
-
负责人:Ken McAloon
-
依托单位:
U.S. - France Cooperative Research: Mathematical Logic in Theoretical Computer Science
-
批准号:8313121
-
项目类别:Standard Grant
-
资助金额:$1.04万
-
财政年份:1984
-
负责人:Ken McAloon
-
依托单位:
Arithmetic Theories and Incompleteness Phenomena (Computer Research)
-
批准号:8304788
-
项目类别:Continuing Grant
-
资助金额:$10.07万
-
财政年份:1983
-
负责人:Ken McAloon
-
依托单位:
Arithmetic Theories and Incompleteness Phenomena
-
批准号:8102854
-
项目类别:Standard Grant
-
资助金额:$3.45万
-
财政年份:1981
-
负责人:Ken McAloon
-
依托单位:
国内基金
海外基金
基于多重计算全息片(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
-
负责人:万晓霰
-
依托单位: