刷新
{{item.name}}会员
International Logic Programming Symposium, Simon Fraser University, Burnaby, B.C., October 26-29, 1993
国际逻辑编程研讨会，西蒙弗雷泽大学，不列颠哥伦比亚省伯纳比，1993 年 10 月 26-29 日
基本信息
- 批准号：140403-1993
- 负责人：
- 金额：$ 0.29万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Conference Grants (H)
- 财政年份：1993
- 资助国家：加拿大
- 起止时间：1993-01-01 至 1994-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 }}
Dahl, Veronica其他文献
Dahl, Veronica的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Dahl, Veronica', 18)}}的其他基金
Parsing and Grammatical Induction as Constraint Solving
解析和语法归纳作为约束求解
- 批准号：
RGPIN-2018-06736 - 财政年份：2022
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Parsing and Grammatical Induction as Constraint Solving
解析和语法归纳作为约束求解
- 批准号：
RGPIN-2018-06736 - 财政年份：2021
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Parsing and Grammatical Induction as Constraint Solving
解析和语法归纳作为约束求解
- 批准号：
RGPIN-2018-06736 - 财政年份：2020
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Parsing and Grammatical Induction as Constraint Solving
解析和语法归纳作为约束求解
- 批准号：
RGPIN-2018-06736 - 财政年份：2019
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Parsing and Grammatical Induction as Constraint Solving
解析和语法归纳作为约束求解
- 批准号：
RGPIN-2018-06736 - 财政年份：2018
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Constraint Solving for Language Processing and Bioinformatics
语言处理和生物信息学的约束求解
- 批准号：
2436-2012 - 财政年份：2016
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Constraint Solving for Language Processing and Bioinformatics
语言处理和生物信息学的约束求解
- 批准号：
2436-2012 - 财政年份：2015
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Constraint Solving for Language Processing and Bioinformatics
语言处理和生物信息学的约束求解
- 批准号：
2436-2012 - 财政年份：2014
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Constraint Solving for Language Processing and Bioinformatics
语言处理和生物信息学的约束求解
- 批准号：
2436-2012 - 财政年份：2013
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
Constraint Solving for Language Processing and Bioinformatics
语言处理和生物信息学的约束求解
- 批准号：
2436-2012 - 财政年份：2012
- 资助金额：
$ 0.29万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep Learning
SHF：Medium：Scallop：一种将逻辑与深度学习相结合的神经符号编程框架
- 批准号：
2313010 - 财政年份：2023
- 资助金额：
$ 0.29万 - 项目类别：
Continuing Grant
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
旅行：2023 年俄勒冈编程语言暑期学校：类型、语义和逻辑
- 批准号：
2329771 - 财政年份：2023
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant
Travel: Student Support for the 38th International Conference on Logic Programming in 2022
旅行：2022 年第 38 届国际逻辑编程会议的学生支持
- 批准号：
2211786 - 财政年份：2022
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant
Travel: Student Travel Grant for 2022 Logic Programming and Non-Monotonic Reasoning Conference and Doctoral Consortium
旅费：2022 年逻辑编程和非单调推理会议及博士联盟的学生旅费补助
- 批准号：
2230673 - 财政年份：2022
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant
Student Support for 2019 International Conference on Logic Programming
2019年国际逻辑编程会议学生支持
- 批准号：
1922863 - 财政年份：2019
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant
Accelerating Inductive Logic Programming Using GPU
使用 GPU 加速归纳逻辑编程
- 批准号：
19K11909 - 财政年份：2019
- 资助金额：
$ 0.29万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Student Travel Grant for Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning and Doctoral Consortium
第十五届逻辑编程和非单调推理国际会议及博士联盟学生旅费补助
- 批准号：
1904757 - 财政年份：2019
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant
A Logic Programming Approach to Integrate Computing with Middle School Science Education
计算与中学科学教育相结合的逻辑编程方法
- 批准号：
1901704 - 财政年份：2019
- 资助金额：
$ 0.29万 - 项目类别：
Standard Grant