Logic and computational complexity
逻辑和计算复杂性
基本信息
- 批准号:105666-2006
- 负责人:
- 金额:$ 2.26万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2009
- 资助国家:加拿大
- 起止时间:2009-01-01 至 2010-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 }}
Urquhart, Alasdair其他文献
Henry M. Sheffer and Notational Relativity
- DOI:
10.1080/01445340.2011.592261 - 发表时间:
2012-01-01 - 期刊:
- 影响因子:0.5
- 作者:
Urquhart, Alasdair - 通讯作者:
Urquhart, Alasdair
Urquhart, Alasdair的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Urquhart, Alasdair', 18)}}的其他基金
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2013
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2012
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2011
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2006 - 财政年份:2010
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2006 - 财政年份:2008
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2006 - 财政年份:2007
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2006 - 财政年份:2006
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity and proof theory
计算复杂性和证明理论
- 批准号:
105666-2002 - 财政年份:2005
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
物体运动对流场扰动的数学模型研究
- 批准号:51072241
- 批准年份:2010
- 资助金额:10.0 万元
- 项目类别:专项基金项目
Computational Methods for Analyzing Toponome Data
- 批准号:60601030
- 批准年份:2006
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Computational complexity and logic
计算复杂性和逻辑
- 批准号:
7755-2011 - 财政年份:2017
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity and logic
计算复杂性和逻辑
- 批准号:
7755-2011 - 财政年份:2015
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Support for Participation in Logic and Computational Complexity: Workshop in Honor of Neil Immerman
支持参与逻辑和计算复杂性:尼尔·伊默曼纪念研讨会
- 批准号:
1417174 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Standard Grant
Computational complexity and logic
计算复杂性和逻辑
- 批准号:
7755-2011 - 财政年份:2014
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity and logic
计算复杂性和逻辑
- 批准号:
7755-2011 - 财政年份:2013
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2013
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Logic and computational complexity
逻辑和计算复杂性
- 批准号:
105666-2011 - 财政年份:2012
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual
Computational complexity and logic
计算复杂性和逻辑
- 批准号:
7755-2011 - 财政年份:2012
- 资助金额:
$ 2.26万 - 项目类别:
Discovery Grants Program - Individual