刷新
{{item.name}}会员
Expansion of the Reasoning Library of Analysis for Formal Verification
形式验证分析推理库的扩展
基本信息
- 批准号：23K11242
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2028-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 }}
遠藤 登其他文献
Air-lakes exchanges of methane in eastern Hokkaido
北海道东部空气与湖泊的甲烷交换
- DOI：
- 发表时间：
2007 - 期刊：
- 影响因子：0
- 作者：
佐々木 正史;遠藤 登;他2名;Masafumi Sasaki - 通讯作者：
Masafumi Sasaki
遠藤 登的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('遠藤 登', 18)}}的其他基金
内水面中容存メタン生産過程および大気とのメタン交換過程に関する研究
内陆水域储存甲烷的生产过程及与大气的甲烷交换过程研究
- 批准号：
18651011 - 财政年份：2006
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Exploratory Research
プルーフチェッカー(Mizar)を用いた数理工学理論の形式化
使用证明检查器将数学工程理论形式化 (Mizar)
- 批准号：
16700156 - 财政年份：2004
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Young Scientists (B)