刷新
{{item.name}}会员
Equational logic and geometry
方程逻辑和几何
基本信息
- 批准号：8215-1994
- 负责人：
- 金额：$ 0.58万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1994
- 资助国家：加拿大
- 起止时间：1994-01-01 至 1995-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 }}
Padmanabhan, Ranganathan其他文献
Padmanabhan, Ranganathan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Padmanabhan, Ranganathan', 18)}}的其他基金
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号：
8215-2002 - 财政年份：2005
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号：
8215-2002 - 财政年份：2004
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号：
8215-2002 - 财政年份：2003
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Automated reasoning in algebra, geometry and combinatorics
代数、几何和组合学中的自动推理
- 批准号：
8215-2002 - 财政年份：2002
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1998 - 财政年份：2001
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1998 - 财政年份：2000
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1998 - 财政年份：1999
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1998 - 财政年份：1998
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1994 - 财政年份：1996
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
Equational logic and geometry
方程逻辑和几何
- 批准号：
8215-1994 - 财政年份：1995
- 资助金额：
$ 0.58万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Interpretable machine learning to synergize brain age estimation and neuroimaging genetics
可解释的机器学习可协同大脑年龄估计和神经影像遗传学
- 批准号：
10568234 - 财政年份：2023
- 资助金额：
$ 0.58万 - 项目类别：
Multiplexed Optogenetic Control of Mammalian Genome and Transcriptome using Recombinases and Cas13
使用重组酶和 Cas13 对哺乳动物基因组和转录组进行多重光遗传学控制
- 批准号：
10751791 - 财政年份：2023
- 资助金额：
$ 0.58万 - 项目类别：
Dynamics of FGF and its integration with other pathways during human germ layer differentiation
人类胚层分化过程中 FGF 的动态及其与其他途径的整合
- 批准号：
10674713 - 财政年份：2022
- 资助金额：
$ 0.58万 - 项目类别：
Long-lived Platform Development for Exonuclease-Based Sequencing
基于核酸外切酶的测序的长寿命平台开发
- 批准号：
10322603 - 财政年份：2021
- 资助金额：
$ 0.58万 - 项目类别：
Magnetically activated structures for minimally invasive endovascular therapy
用于微创血管内治疗的磁激活结构
- 批准号：
10302465 - 财政年份：2021
- 资助金额：
$ 0.58万 - 项目类别：
Transparent graphene electrode arrays for simultaneous electrical and optical investigation of computations in the olfactory bulb
透明石墨烯电极阵列用于同时进行嗅球计算的电学和光学研究
- 批准号：
10415793 - 财政年份：2019
- 资助金额：
$ 0.58万 - 项目类别：
Theory and applications of Stone-duality for quasi-Polish spaces
准波兰空间的石对偶性理论与应用
- 批准号：
18K11166 - 财政年份：2018
- 资助金额：
$ 0.58万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Enriched categories: Applications in geometry and logic
丰富类别：几何和逻辑中的应用
- 批准号：
FT160100393 - 财政年份：2017
- 资助金额：
$ 0.58万 - 项目类别：
ARC Future Fellowships
Porosity and tensioning: Critical factors to consider when choosing a prolapse mesh
孔隙率和张力：选择脱垂网片时要考虑的关键因素
- 批准号：
9030077 - 财政年份：2016
- 资助金额：
$ 0.58万 - 项目类别：
Achieving Single Nucleotide Resolution to Enable DNA Flossing Through Alpha-Hemolysin
实现单核苷酸分辨率，通过 α-溶血素实现 DNA 牙线清洁
- 批准号：
9171327 - 财政年份：2016
- 资助金额：
$ 0.58万 - 项目类别：