刷新
{{item.name}}会员
情報流分析のための動的認識論理の構成的研究
信息流分析动态认知逻辑的建设性研究
基本信息
- 批准号：23K16952
- 负责人：
- 金额：$ 2.5万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Early-Career Scientists
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
秦野 亮其他文献
秦野 亮的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
直観主義論理の推論に関する代数的特徴付けの精密化
直觉逻辑推理的代数表征的细化
- 批准号：
23K10991 - 财政年份：2023
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
構成性を制御しながら直観主義論理を拡大する
在控制组合性的同时扩展直觉逻辑
- 批准号：
20K03716 - 财政年份：2020
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
メタ定理を取り扱う直観主義論理体系の証明システムの設計と実現
处理元定理的直觉逻辑系统的证明系统的设计和实现
- 批准号：
04858005 - 财政年份：1992
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
集合論の直観主義論理模型の研究
集合论直觉逻辑模型研究
- 批准号：
X00095----464064 - 财政年份：1979
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for General Scientific Research (D)
超Tukasiewicz論理と超直観主義論理の研究
超图卡西维奇逻辑和超直觉逻辑研究
- 批准号：
X00210----474094 - 财政年份：1979
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)