刷新
{{item.name}}会员
Open Source Methods for Collaboration in Logic
逻辑协作的开源方法
基本信息
- 批准号：448864-2013
- 负责人：
- 金额：$ 0.33万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2013
- 资助国家：加拿大
- 起止时间：2013-01-01 至 2014-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 }}
Hägg, Dana其他文献
Hägg, Dana的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Hägg, Dana', 18)}}的其他基金
Natural Deduction for the Epsilon Calculus
Epsilon 演算的自然演绎
- 批准号：
430987-2012 - 财政年份：2012
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
数学之源书（Source book in mathematics)的翻译与出版
- 批准号：11826405
- 批准年份：2018
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
相似海外基金
Tracing the source of Brazil nut contamination using advanced mass spectrometric methods
使用先进的质谱方法追踪巴西坚果污染的来源
- 批准号：
2887373 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
Studentship
Novel ultrahigh speed swept source OCT angiography methods in diabetic retinopathy
糖尿病视网膜病变的新型超高速扫源 OCT 血管造影方法
- 批准号：
10656644 - 财政年份：2023
- 资助金额：
$ 0.33万 - 项目类别：
CRCNS: Resolving human face perception with novel MEG source localization methods
CRCNS：利用新颖的 MEG 源定位方法解决人脸感知问题
- 批准号：
10397180 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Identification of the main source of matrix effects in established inductively coupled plasma mass spectroscopy methods
确定已建立的电感耦合等离子体质谱方法中基质效应的主要来源
- 批准号：
565142-2021 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Source Attribution and Transmission Dynamics of Campylobacter and Shigella Using Culture-Independent Molecular Methods in an Urban Slum in Dhaka, Bangladesh
使用独立于培养的分子方法在孟加拉国达卡的城市贫民窟中弯曲杆菌和志贺氏菌的来源归属和传播动力学
- 批准号：
10649500 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Source Attribution and Transmission Dynamics of Campylobacter and Shigella Using Culture-Independent Molecular Methods in an Urban Slum in Dhaka, Bangladesh
使用独立于培养的分子方法在孟加拉国达卡的城市贫民窟中弯曲杆菌和志贺氏菌的来源归属和传播动力学
- 批准号：
10378897 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
CRCNS: Resolving human face perception with novel MEG source localization methods
CRCNS：利用新颖的 MEG 源定位方法解决人脸感知问题
- 批准号：
10686286 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
CRCNS: Resolving human face perception with novel MEG source localization methods
CRCNS：利用新颖的 MEG 源定位方法解决人脸感知问题
- 批准号：
10478133 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Source Attribution and Transmission Dynamics of Campylobacter and Shigella Using Culture-Independent Molecular Methods in an Urban Slum in Dhaka, Bangladesh
使用独立于培养的分子方法在孟加拉国达卡的城市贫民窟中弯曲杆菌和志贺氏菌的来源归属和传播动力学
- 批准号：
10462761 - 财政年份：2021
- 资助金额：
$ 0.33万 - 项目类别：
Identification of the main source of matrix effects in established methods
确定已建立方法中基质效应的主要来源
- 批准号：
551299-2020 - 财政年份：2020
- 资助金额：
$ 0.33万 - 项目类别：
University Undergraduate Student Research Awards