刷新
{{item.name}}会员
RUI: Computer Research Equipment (Computer Science)
RUI：计算机研究设备（计算机科学）
基本信息
- 批准号：8405477
- 负责人：
- 金额：$ 7.94万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-07-15 至 1985-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Ken McAloon其他文献
Logic, modeling, and programming
- DOI：
10.1023/a:1018979717390 - 发表时间：
1997-01-01 - 期刊：
- 影响因子：4.500
- 作者：
Ken McAloon;Carol Tretkoff - 通讯作者：
Carol Tretkoff
Ken McAloon的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ken McAloon', 18)}}的其他基金
U.S.-Korea Cooperative Research on Constraint Methods and Inference Engines for Expert Systems
美韩专家系统约束方法和推理机合作研究
- 批准号：
9404905 - 财政年份：1994
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Highly Parallel Constraint Logic Programming for AI and MIP Applications
RUI：适用于 AI 和 MIP 应用的高度并行约束逻辑编程
- 批准号：
9115603 - 财政年份：1992
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
U.S.-Japan Cooperative Research: Applied Constraint Logic Programming
美日合作研究：应用约束逻辑编程
- 批准号：
8816418 - 财政年份：1989
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
Constraints, Logic Programming and Rule-Based Systems
约束、逻辑编程和基于规则的系统
- 批准号：
8902511 - 财政年份：1989
- 资助金额：
$ 7.94万 - 项目类别：
Continuing Grant
Logic, Computational Complexity and Rule Based Systems
逻辑、计算复杂性和基于规则的系统
- 批准号：
8703086 - 财政年份：1987
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
U.S. - France Cooperative Research: Mathematical Logic in Theoretical Computer Science
美法合作研究：理论计算机科学中的数理逻辑
- 批准号：
8313121 - 财政年份：1984
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
Arithmetic Theories and Incompleteness Phenomena (Computer Research)
算术理论和不完备性现象（计算机研究）
- 批准号：
8304788 - 财政年份：1983
- 资助金额：
$ 7.94万 - 项目类别：
Continuing Grant
Arithmetic Theories and Incompleteness Phenomena
算术理论与不完备现象
- 批准号：
8102854 - 财政年份：1981
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
相似国自然基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
- 批准号：62375132
- 批准年份：2023
- 资助金额：54.00 万元
- 项目类别：面上项目
Journal of Computer Science and Technology
- 批准号：61224001
- 批准年份：2012
- 资助金额：20.0 万元
- 项目类别：专项基金项目
Journal of Computer Science and Technology
- 批准号：61040017
- 批准年份：2010
- 资助金额：4.0 万元
- 项目类别：专项基金项目
相似海外基金
SHF: Small: RUI: Collaborative Research: Accelerators To Applications - Supercharging the Undergraduate Computer Science Curriculum
SHF：小型：RUI：协作研究：应用加速器 - 增强本科计算机科学课程
- 批准号：
0915805 - 财政年份：2009
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
Collaborative Research (RUI): Broadening the Use of Computer Games in the Computer Science Curriculum
协作研究（RUI）：扩大计算机游戏在计算机科学课程中的使用
- 批准号：
0633726 - 财政年份：2007
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
Collaborative Research (RUI): Broadening the Use of Computer Games in the Computer Science Curriculum
协作研究（RUI）：扩大计算机游戏在计算机科学课程中的使用
- 批准号：
0633738 - 财政年份：2007
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Acquisition of Robotic Systems for Research in Cognitive Science, Biomechanics, and Computer Science
RUI：收购用于认知科学、生物力学和计算机科学研究的机器人系统
- 批准号：
0320764 - 财政年份：2003
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Computer Search for Elusive Combinatorial Congfigurations: A Research Toolchest
RUI：难以捉摸的组合配置的计算机搜索：研究工具箱
- 批准号：
8920692 - 财政年份：1990
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Computer Research Equipment (Computer Science)
RUI：计算机研究设备（计算机科学）
- 批准号：
8612638 - 财政年份：1987
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: CSNET Membership in Support of Computer Science Research
RUI：CSNET 会员支持计算机科学研究
- 批准号：
8715475 - 财政年份：1987
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI - CSNET Services (Computer Research)
RUI - CSNET 服务（计算机研究）
- 批准号：
8603474 - 财政年份：1986
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Computational Complexity of Real Functions and the Loss of Precision (Computer Research)
RUI：实函数的计算复杂性和精度损失（计算机研究）
- 批准号：
8417757 - 财政年份：1985
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant
RUI: Equipment for Computer Research
RUI：计算机研究设备
- 批准号：
8506210 - 财政年份：1985
- 资助金额：
$ 7.94万 - 项目类别：
Standard Grant