Advances in Computer-Assisted Instruction (Information Science)
Advances in Computer-Assisted Instruction (Information Science)
批准号:
8511176
负责人:
Michael Beeson
金额:
$0.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1985
资助国家:
美国
项目状态:
已结题
起止时间:
1985-08-01 至 1989-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Second-order Automated Deduction
-
批准号:0204362
-
项目类别:Continuing Grant
-
资助金额:$18.81万
-
财政年份:2002
-
负责人:Michael Beeson
-
依托单位:
RUI: Logic and Computation: Automating Proofs in Calculus and Analysis in Teacher Preparation
-
批准号:9528913
-
项目类别:Standard Grant
-
资助金额:$8.5万
-
财政年份:1996
-
负责人:Michael Beeson
-
依托单位:
A Computer Laboratory for Learning Algebra, Trigonometry andCalculus
-
批准号:9050894
-
项目类别:Standard Grant
-
资助金额:$3.77万
-
财政年份:1990
-
负责人:Michael Beeson
-
依托单位:
Mathematical Sciences: Constructive Set Theory
-
批准号:8303288
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1983
-
负责人:Michael Beeson
-
依托单位:
国内基金
海外基金
基于多重计算全息片(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
-
负责人:万晓霰
-
依托单位: