刷新
{{item.name}}会员
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
基本信息
- 批准号：36663-1990
- 负责人：
- 金额：$ 1.85万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1992
- 资助国家：加拿大
- 起止时间：1992-01-01 至 1993-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 }}
Okada, Mitsuhiro其他文献
Direct Chemical Vapor Deposition Growth of WS2 Atomic Layers on Hexagonal Boron Nitride
- DOI：
10.1021/nn503093k - 发表时间：
2014-08-01 - 期刊：
- 影响因子：17.1
- 作者：
Okada, Mitsuhiro;Sawazaki, Takumi;Kitaura, Ryo - 通讯作者：
Kitaura, Ryo
A strategy for absolute proteome quantification with mass spectrometry by hierarchical use of peptide-concatenated standards
- DOI：
10.1002/pmic.201500414 - 发表时间：
2016-05-01 - 期刊：
- 影响因子：3.4
- 作者：
Kito, Keiji;Okada, Mitsuhiro;Ito, Takashi - 通讯作者：
Ito, Takashi
Effect of a pick-and-drop process on optical properties of a CVD-grown monolayer tungsten disulfide
- DOI：
10.1103/physrevmaterials.2.064003 - 发表时间：
2018-06-22 - 期刊：
- 影响因子：3.4
- 作者：
Hoshi, Yusuke;Okada, Mitsuhiro;Machida, Tomoki - 通讯作者：
Machida, Tomoki
Direct and Indirect Interlayer Excitons in a van der Waals Heterostructure of hBN/WS2/MoS2/hBN
- DOI：
10.1021/acsnano.7b08253 - 发表时间：
2018-03-01 - 期刊：
- 影响因子：17.1
- 作者：
Okada, Mitsuhiro;Kutana, Alex;Kitaura, Ryo - 通讯作者：
Kitaura, Ryo
COMBINED MEDIALIS PEDIS AND MEDIAL PLANTAR FASCIOCUTANEOUS FLAPS FOR COVERAGE OF SOFT TISSUE DEFECTS OF MULTIPLE ADJACENT FINGERS
- DOI：
10.1002/micr.22222 - 发表时间：
2014-09-01 - 期刊：
- 影响因子：2.1
- 作者：
Okada, Mitsuhiro;Saito, Hidehiko;Nakamura, Hiroaki - 通讯作者：
Nakamura, Hiroaki
Okada, Mitsuhiro的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Okada, Mitsuhiro', 18)}}的其他基金
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1994
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
The Fifth International Conference on Rewriting Techniques and Applications, Montreal, Québec, June 16-18, 1993
第五届重写技术和应用国际会议，魁北克省蒙特利尔，1993 年 6 月 16-18 日
- 批准号：
140449-1993 - 财政年份：1993
- 资助金额：
$ 1.85万 - 项目类别：
Conference Grants (H)
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification, de vérification et de synthèse
新逻辑技术和应用程序的并行基础理论，以及规范、验证和综合的形式
- 批准号：
151789-1993 - 财政年份：1993
- 资助金额：
$ 1.85万 - 项目类别：
Collaborative Research and Development Grants - Government (H)
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1993
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
Three workstations and two external hard disk drives
三个工作站和两个外部硬盘驱动器
- 批准号：
123608-1992 - 财政年份：1992
- 资助金额：
$ 1.85万 - 项目类别：
Research Tools and Instruments - Category 1 (<$150,000)
La théorie de processus concurrent basée sur des nouvelles techniques de logique et ses applications aux outils formels de spécification et de vérification
新逻辑技术的并发基础理论和规范与验证形式的应用
- 批准号：
137112-1992 - 财政年份：1992
- 资助金额：
$ 1.85万 - 项目类别：
Collaborative Research and Development Grants - Government (H)
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
- 批准号：
36663-1990 - 财政年份：1991
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Ordering Nonmonotonic Logic Program and its Application to Inductive Learning
有序非单调逻辑程序及其在归纳学习中的应用
- 批准号：
15500092 - 财政年份：2003
- 资助金额：
$ 1.85万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Workshop on Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997
树自动机在重写、逻辑和编程中的应用研讨会，德国法兰克福，1997 年 10 月 20-24 日
- 批准号：
9711212 - 财政年份：1997
- 资助金额：
$ 1.85万 - 项目类别：
Standard Grant
Application of type theory and linear logic for Programming Languages
类型论和线性逻辑在编程语言中的应用
- 批准号：
07044093 - 财政年份：1995
- 资助金额：
$ 1.85万 - 项目类别：
Grant-in-Aid for international Scientific Research
Girard's Linear Logic and its Application
吉拉德的线性逻辑及其应用
- 批准号：
07808035 - 财政年份：1995
- 资助金额：
$ 1.85万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Application of Conditional Rewrite Systems to Declarative Programming Languages
条件重写系统在声明式编程语言中的应用
- 批准号：
06680300 - 财政年份：1994
- 资助金额：
$ 1.85万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1994
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
Application of Logic to Programming Language Theory
逻辑在编程语言理论中的应用
- 批准号：
05808030 - 财政年份：1993
- 资助金额：
$ 1.85万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
Application of logic to programming language theory
逻辑在编程语言理论中的应用
- 批准号：
36663-1993 - 财政年份：1993
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
Application of logic to programming language and theorem proving
逻辑在编程语言和定理证明中的应用
- 批准号：
36663-1990 - 财政年份：1991
- 资助金额：
$ 1.85万 - 项目类别：
Discovery Grants Program - Individual
Investigations Into the Application of Temporal Logic to Real Time Programming
时态逻辑在实时编程中的应用研究
- 批准号：
8216707 - 财政年份：1982
- 资助金额：
$ 1.85万 - 项目类别：
Standard Grant