Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
基本信息
- 批准号:7256-1993
- 负责人:
- 金额:$ 1.64万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:1993
- 资助国家:加拿大
- 起止时间:1993-01-01 至 1994-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 }}
Burris, Stanley其他文献
Burris, Stanley的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Burris, Stanley', 18)}}的其他基金
Enumeration number theoretic density and logical limit laws
枚举数论密度和逻辑极限定律
- 批准号:
7256-2005 - 财政年份:2009
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Enumeration number theoretic density and logical limit laws
枚举数论密度和逻辑极限定律
- 批准号:
7256-2005 - 财政年份:2008
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Enumeration number theoretic density and logical limit laws
枚举数论密度和逻辑极限定律
- 批准号:
7256-2005 - 财政年份:2007
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Enumeration number theoretic density and logical limit laws
枚举数论密度和逻辑极限定律
- 批准号:
7256-2005 - 财政年份:2006
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Enumeration number theoretic density and logical limit laws
枚举数论密度和逻辑极限定律
- 批准号:
7256-2005 - 财政年份:2005
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2004
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2003
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2002
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2001
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1997 - 财政年份:2000
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
李代数的权表示
- 批准号:10371120
- 批准年份:2003
- 资助金额:13.0 万元
- 项目类别:面上项目
相似海外基金
Conferences on Boolean Algebras, Lattices, Algebraic Logic and Quantum Logic, Universal Algebra, Set Theory, and Set-Theoretic and Point-free Topology
布尔代数、格、代数逻辑和量子逻辑、泛代数、集合论、集合论和无点拓扑会议
- 批准号:
2223126 - 财政年份:2022
- 资助金额:
$ 1.64万 - 项目类别:
Continuing Grant
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2004
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2003
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2002
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, number theory and computer science
通用代数、逻辑、数论和计算机科学
- 批准号:
7256-2001 - 财政年份:2001
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1997 - 财政年份:2000
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1997 - 财政年份:1999
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1993 - 财政年份:1996
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1993 - 财政年份:1995
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual
Universal algebra, logic, and applications to computer science
通用代数、逻辑及其在计算机科学中的应用
- 批准号:
7256-1993 - 财政年份:1994
- 资助金额:
$ 1.64万 - 项目类别:
Discovery Grants Program - Individual