Analogical Reasoning and Computer Program Synthesis
类比推理和计算机程序综合
基本信息
- 批准号:7804746
- 负责人:
- 金额:$ 2.85万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1978
- 资助国家:美国
- 起止时间:1978-08-15 至 1980-01-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 }}
Robert Moll其他文献
A specification-based approach to concurrency analysis
- DOI:
10.1007/bf00871802 - 发表时间:
1995-12-01 - 期刊:
- 影响因子:3.100
- 作者:
Ugo Buy;Robert Moll - 通讯作者:
Robert Moll
Robert Moll的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Robert Moll', 18)}}的其他基金
On-Line Support for Object-Oriented Programming Language Instruction
面向对象编程语言教学的在线支持
- 批准号:
0231328 - 财政年份:2003
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
On-line Support for Modern Programming Language Instruction
现代编程语言教学的在线支持
- 批准号:
0127444 - 财政年份:2002
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
相似海外基金
Geometric reasoning in computer vision with using only 2D supervision
仅使用 2D 监督的计算机视觉中的几何推理
- 批准号:
DP220103803 - 财政年份:2022
- 资助金额:
$ 2.85万 - 项目类别:
Discovery Projects
Using Problem-Based Learning to Increase the Ethical Reasoning Skills of Electrical and Computer Engineering Students
利用基于问题的学习来提高电气和计算机工程学生的道德推理能力
- 批准号:
2020560 - 财政年份:2020
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
Collaborative Research: Collaborative Partnership to Teach Mathematical Reasoning Through Computer Programming (CPR2)
合作研究:通过计算机编程教授数学推理的合作伙伴关系(CPR2)
- 批准号:
1933677 - 财政年份:2019
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
Collaborative Research: : Collaborative Partnership to Teach Mathematical Reasoning Through Computer Programming (CPR2)
合作研究::通过计算机编程教授数学推理的合作伙伴关系(CPR2)
- 批准号:
1933678 - 财政年份:2019
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
Creativity and how creative thinking and reasoning can be simulated in a computer
创造力以及如何在计算机中模拟创造性思维和推理
- 批准号:
2275700 - 财政年份:2019
- 资助金额:
$ 2.85万 - 项目类别:
Studentship
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
- 批准号:
489845-2016 - 财政年份:2018
- 资助金额:
$ 2.85万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
- 批准号:
489845-2016 - 财政年份:2017
- 资助金额:
$ 2.85万 - 项目类别:
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Bridging Computer Science with Neuroscience towards a new understanding of reasoning
将计算机科学与神经科学联系起来,以获得对推理的新理解
- 批准号:
1778161 - 财政年份:2016
- 资助金额:
$ 2.85万 - 项目类别:
Studentship
Enhancing Critical Reasoning in Computer Education
增强计算机教育中的批判性推理
- 批准号:
1565586 - 财政年份:2016
- 资助金额:
$ 2.85万 - 项目类别:
Standard Grant
Construction of reasoning library for realization of computer verification system
计算机验证系统实现推理库的构建
- 批准号:
23500029 - 财政年份:2011
- 资助金额:
$ 2.85万 - 项目类别:
Grant-in-Aid for Scientific Research (C)