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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了