Algebra, logic, and the constraint satisfaction problem
代数、逻辑和约束满足问题
基本信息
- 批准号:400461-2010
- 负责人:
- 金额:$ 0.33万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:University Undergraduate Student Research Awards
- 财政年份:2010
- 资助国家:加拿大
- 起止时间:2010-01-01 至 2011-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 }}
Cousins, Gregory其他文献
Cousins, Gregory的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Cousins, Gregory', 18)}}的其他基金
Postgraduate Study in Model Theory and It's Applications
模型理论及其应用研究生学习
- 批准号:
438890-2013 - 财政年份:2013
- 资助金额:
$ 0.33万 - 项目类别:
Postgraduate Scholarships - Master's
Model theory of operators and asymptotic cones
算子和渐近锥模型论
- 批准号:
431327-2012 - 财政年份:2012
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
VC density of definable sets in the p-adics
p-adics 中可定义集合的 VC 密度
- 批准号:
414924-2011 - 财政年份:2011
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
相似海外基金
Algebra, Logic, and the Constraint Satisfaction Problem
代数、逻辑和约束满足问题
- 批准号:
496053-2016 - 财政年份:2016
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Algebra, Logic, and the Constraint Satisfaction Problem
代数、逻辑和约束满足问题
- 批准号:
480550-2015 - 财政年份:2015
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Algebra, Logic, and the Constraint Satisfaction Problem
代数、逻辑和约束满足问题
- 批准号:
466759-2014 - 财政年份:2014
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Complexity of Constraint Satisfaction Problems via Logic Programming
通过逻辑编程解决约束满足问题的复杂性
- 批准号:
449897-2013 - 财政年份:2013
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Algebra, logic, and the constraint satisfaction problem
代数、逻辑和约束满足问题
- 批准号:
384666-2009 - 财政年份:2009
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Algebra, logic and the constraint satisfaction problem
代数、逻辑和约束满足问题
- 批准号:
368459-2008 - 财政年份:2008
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
Constraint logic programming
约束逻辑编程
- 批准号:
283271-2004 - 财政年份:2008
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
Constraint logic programming
约束逻辑编程
- 批准号:
283271-2004 - 财政年份:2007
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic, and Graph Theory
约束满足数学国际研讨会:代数、逻辑和图论
- 批准号:
EP/D036720/1 - 财政年份:2006
- 资助金额:
$ 0.33万 - 项目类别:
Research Grant
Constraint logic programming
约束逻辑编程
- 批准号:
283271-2004 - 财政年份:2006
- 资助金额:
$ 0.33万 - 项目类别:
Discovery Grants Program - Individual