计算复杂性和逻辑-猫眼课题宝

计算复杂性和逻辑

批准号：

7755-2002

负责人：

Cook, Stephen

金额：

$6.99万

依托单位：

University of Toronto

依托单位国家：

加拿大

项目类别：

Discovery Grants Program - Individual

财政年份：

2005

资助国家：

加拿大

项目状态：

已结题

起止时间：

2005-01-01 至 2006-12-31

来源：

https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=306620

关键词：

Computational complexity logic

项目摘要

项目成果

Cook, Stephen的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2017
负责人：

Cook, Stephen
依托单位：

University of Toronto

Nominated for the NSERC Herzberg Medal

批准号：

429457-2012
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$7.58万
财政年份：

2017
负责人：

Cook, Stephen
依托单位：

University of Toronto

Nominated for the NSERC Herzberg Medal

批准号：

429457-2012
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$7.58万
财政年份：

2016
负责人：

Cook, Stephen
依托单位：

University of Toronto

Nominated for the NSERC Herzberg Medal

批准号：

429457-2012
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$7.58万
财政年份：

2015
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2015
负责人：

Cook, Stephen
依托单位：

University of Toronto

Nominated for the NSERC Herzberg Medal

批准号：

429457-2012
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$7.58万
财政年份：

2014
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2014
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2013
负责人：

Cook, Stephen
依托单位：

University of Toronto

Nominated for the NSERC Herzberg Medal

批准号：

429457-2012
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$7.58万
财政年份：

2013
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2012
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2011
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity bounded arithmetic proof complexity

批准号：

7755-2006
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2010
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity bounded arithmetic proof complexity

批准号：

7755-2006
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2009
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity bounded arithmetic proof complexity

批准号：

7755-2006
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2008
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity bounded arithmetic proof complexity

批准号：

7755-2006
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2007
负责人：

Cook, Stephen
依托单位：

University of Toronto

Herzberg/Gold Medal

批准号：

322663-2005
项目类别：

Gerhard Herzberg Canada Gold Medal for Science and Engineering
资助金额：

$3.64万
财政年份：

2006
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity bounded arithmetic proof complexity

批准号：

7755-2006
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2006
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2002
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2004
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2002
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2003
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

批准号：

7755-2002
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2002
负责人：

Cook, Stephen
依托单位：

University of Toronto

海外基金

Computational complexity and logic

计算复杂性和逻辑

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2017
负责人：

Cook, Stephen
依托单位：

University of Toronto

Logic and computational complexity

逻辑和计算复杂性

批准号：

105666-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$2.11万
财政年份：

2015
负责人：

Urquhart, Alasdair
依托单位：

University of Toronto

Computational complexity and logic

计算复杂性和逻辑

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2015
负责人：

Cook, Stephen
依托单位：

University of Toronto

Logic and computational complexity

逻辑和计算复杂性

批准号：

105666-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$2.11万
财政年份：

2014
负责人：

Urquhart, Alasdair
依托单位：

University of Toronto

Support for Participation in Logic and Computational Complexity: Workshop in Honor of Neil Immerman

支持参与逻辑和计算复杂性：尼尔·伊默曼纪念研讨会

批准号：

1417174
项目类别：

Standard Grant
资助金额：

$1.23万
财政年份：

2014
负责人：

Shlomo Zilberstein
依托单位：

University of Massachusetts Amherst

Computational complexity and logic

计算复杂性和逻辑

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2014
负责人：

Cook, Stephen
依托单位：

University of Toronto

Computational complexity and logic

计算复杂性和逻辑

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2013
负责人：

Cook, Stephen
依托单位：

University of Toronto

Logic and computational complexity

逻辑和计算复杂性

批准号：

105666-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$2.11万
财政年份：

2013
负责人：

Urquhart, Alasdair
依托单位：

University of Toronto

Logic and computational complexity

逻辑和计算复杂性

批准号：

105666-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$2.11万
财政年份：

2012
负责人：

Urquhart, Alasdair
依托单位：

University of Toronto

Computational complexity and logic

计算复杂性和逻辑

批准号：

7755-2011
项目类别：

Discovery Grants Program - Individual
资助金额：

$6.99万
财政年份：

2012
负责人：

Cook, Stephen
依托单位：

University of Toronto