刷新
{{item.name}}会员
Modal logic and logic programming
模态逻辑和逻辑编程
基本信息
- 批准号：4065-1990
- 负责人：
- 金额：$ 0.44万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：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 }}
Thomason, Steven其他文献
Thomason, Steven的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Thomason, Steven', 18)}}的其他基金
Modal logic and logic programming
模态逻辑和逻辑编程
- 批准号：
4065-1990 - 财政年份：1991
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
DATA MANAGEMENT FOR CANCER DIAGNOSIS PROGRAM ACTIVITIES
癌症诊断计划活动的数据管理
- 批准号：
10849595 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep Learning
SHF：Medium：Scallop：一种将逻辑与深度学习相结合的神经符号编程框架
- 批准号：
2313010 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Continuing Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行：2023 年俄勒冈编程语言暑期学校：类型、语义和逻辑
- 批准号：
2329771 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Fetal Programming of Human Newborn Energy Homeostasis Brain Networks
人类新生儿能量稳态大脑网络的胎儿编程
- 批准号：
10758984 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Travel: Student Support for the 38th International Conference on Logic Programming in 2022
旅行：2022 年第 38 届国际逻辑编程会议的学生支持
- 批准号：
2211786 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Travel: Student Travel Grant for 2022 Logic Programming and Non-Monotonic Reasoning Conference and Doctoral Consortium
旅费：2022 年逻辑编程和非单调推理会议及博士联盟的学生旅费补助
- 批准号：
2230673 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Olera - Online Platform to Increase Access to Personalized Educational and Professional Assistance for AD/ADRD Caregivers
Olera - 为 AD/ADRD 护理人员提供更多个性化教育和专业援助的在线平台
- 批准号：
10654946 - 财政年份：2021
- 资助金额：
$ 0.44万 - 项目类别：
Olera - Online Platform to Increase Access to Personalized Educational and Professional Assistance for AD/ADRD Caregivers
Olera - 为 AD/ADRD 护理人员提供更多个性化教育和专业援助的在线平台
- 批准号：
10540900 - 财政年份：2021
- 资助金额：
$ 0.44万 - 项目类别：
Olera - Online Platform to Increase Access to Personalized Educational and Professional Assistance for AD/ADRD Caregivers
Olera - 为 AD/ADRD 护理人员提供更多个性化教育和专业援助的在线平台
- 批准号：
10681389 - 财政年份：2021
- 资助金额：
$ 0.44万 - 项目类别：