刷新
{{item.name}}会员
Syntatic Proofs for Major Theorems of Modal Logic
模态逻辑主要定理的综合证明
基本信息
- 批准号：333595-2006
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2008
- 资助国家：加拿大
- 起止时间：2008-01-01 至 2009-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 }}
Kibedi, Francisco其他文献
Kibedi, Francisco的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kibedi, Francisco', 18)}}的其他基金
Syntatic Proofs for Major Theorems of Modal Logic
模态逻辑主要定理的综合证明
- 批准号：
333595-2006 - 财政年份：2007
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Syntatic Proofs for Major Theorems of Modal Logic
模态逻辑主要定理的综合证明
- 批准号：
333595-2006 - 财政年份：2006
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
相似海外基金
Structure vs Invariants in Proofs (StrIP)
证明中的结构与不变量 (StrIP)
- 批准号：
MR/Y011716/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Fellowship
CAREER:Exploring the power of quantum protocols for interactive proofs
职业：探索量子协议用于交互式证明的力量
- 批准号：
2339948 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
SHF: SMALL: Language-agnostic Proofs
SHF：SMALL：与语言无关的证明
- 批准号：
2317257 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2245017 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Computer-assisted Proofs in Fluid Mechanics and Applications
流体力学及其应用中的计算机辅助证明
- 批准号：
2247537 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
CAREER: Cryptographic Proofs, Outside the Black-Box
职业：黑匣子之外的密码学证明
- 批准号：
2238718 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
Improvement of Security Proofs for Signature Schemes Based on Non-Interactive Assumptions
基于非交互假设的签名方案安全证明改进
- 批准号：
23K16841 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2244879 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2403764 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant