Categorical programming
分类规划
基本信息
- 批准号:105415-1991
- 负责人:
- 金额:$ 1.6万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:1992
- 资助国家:加拿大
- 起止时间:1992-01-01 至 1993-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量(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 }}
Cockett, James其他文献
Cockett, James的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Cockett, James', 18)}}的其他基金
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2017
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2016
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2015
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2014
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1996 - 财政年份:1998
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1996 - 财政年份:1996
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1993 - 财政年份:1995
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1993 - 财政年份:1994
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1993 - 财政年份:1993
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
105415-1991 - 财政年份:1991
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
睾酮在产前应激程序化脑内CRH信号传导通路及焦虑样行为中的作用机制
- 批准号:31100793
- 批准年份:2011
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
枢纽港选址及相关问题的算法设计
- 批准号:71001062
- 批准年份:2010
- 资助金额:17.6 万元
- 项目类别:青年科学基金项目
微生物发酵过程的自组织建模与优化控制
- 批准号:60704036
- 批准年份:2007
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Implementation of a message passing concurrent categorical programming language
消息传递并发分类编程语言的实现
- 批准号:
563918-2021 - 财政年份:2021
- 资助金额:
$ 1.6万 - 项目类别:
University Undergraduate Student Research Awards
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2018
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical Combinatorics for Proof Theory and Programming Languages.
证明理论和编程语言的分类组合。
- 批准号:
1894512 - 财政年份:2017
- 资助金额:
$ 1.6万 - 项目类别:
Studentship
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2017
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2016
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2015
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming
分类规划
- 批准号:
RGPIN-2014-04222 - 财政年份:2014
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming and computability
分类规划和可计算性
- 批准号:
105415-2009 - 财政年份:2013
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming and computability
分类规划和可计算性
- 批准号:
105415-2009 - 财政年份:2012
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual
Categorical programming and computability
分类规划和可计算性
- 批准号:
105415-2009 - 财政年份:2011
- 资助金额:
$ 1.6万 - 项目类别:
Discovery Grants Program - Individual














{{item.name}}会员




