刷新
{{item.name}}会员
Arithmetic Theories and Incompleteness Phenomena
算术理论与不完备现象
基本信息
- 批准号：8102854
- 负责人：
- 金额：$ 3.45万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-07-01 至 1983-12-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 }}
Ken McAloon其他文献
Logic, modeling, and programming
- DOI：
10.1023/a:1018979717390 - 发表时间：
1997-01-01 - 期刊：
- 影响因子：4.500
- 作者：
Ken McAloon;Carol Tretkoff - 通讯作者：
Carol Tretkoff
Ken McAloon的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ken McAloon', 18)}}的其他基金
U.S.-Korea Cooperative Research on Constraint Methods and Inference Engines for Expert Systems
美韩专家系统约束方法和推理机合作研究
- 批准号：
9404905 - 财政年份：1994
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
RUI: Highly Parallel Constraint Logic Programming for AI and MIP Applications
RUI：适用于 AI 和 MIP 应用的高度并行约束逻辑编程
- 批准号：
9115603 - 财政年份：1992
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
U.S.-Japan Cooperative Research: Applied Constraint Logic Programming
美日合作研究：应用约束逻辑编程
- 批准号：
8816418 - 财政年份：1989
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
Constraints, Logic Programming and Rule-Based Systems
约束、逻辑编程和基于规则的系统
- 批准号：
8902511 - 财政年份：1989
- 资助金额：
$ 3.45万 - 项目类别：
Continuing Grant
Logic, Computational Complexity and Rule Based Systems
逻辑、计算复杂性和基于规则的系统
- 批准号：
8703086 - 财政年份：1987
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
U.S. - France Cooperative Research: Mathematical Logic in Theoretical Computer Science
美法合作研究：理论计算机科学中的数理逻辑
- 批准号：
8313121 - 财政年份：1984
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
RUI: Computer Research Equipment (Computer Science)
RUI：计算机研究设备（计算机科学）
- 批准号：
8405477 - 财政年份：1984
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
Arithmetic Theories and Incompleteness Phenomena (Computer Research)
算术理论和不完备性现象（计算机研究）
- 批准号：
8304788 - 财政年份：1983
- 资助金额：
$ 3.45万 - 项目类别：
Continuing Grant
相似海外基金
Translations between Type Theories
类型理论之间的翻译
- 批准号：
EP/Z000602/1 - 财政年份：2025
- 资助金额：
$ 3.45万 - 项目类别：
Research Grant
Cognitive imprecision and ageing: experimental investigation of new theories of decision-making
认知不精确与衰老：新决策理论的实验研究
- 批准号：
24K00237 - 财政年份：2024
- 资助金额：
$ 3.45万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
REU Site: Quantitative Rules of Life: General Theories across Biological Systems
REU 网站：生命的定量规则：跨生物系统的一般理论
- 批准号：
2349052 - 财政年份：2024
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
CAREER: Evaluating Theories of Polymer Crystallization by Directly Calculating the Nucleation Barrier in a Polymer Melt
职业：通过直接计算聚合物熔体中的成核势垒来评估聚合物结晶理论
- 批准号：
2338690 - 财政年份：2024
- 资助金额：
$ 3.45万 - 项目类别：
Continuing Grant
Canonical Singularities, Generalized Symmetries, and 5d Superconformal Field Theories
正则奇点、广义对称性和 5d 超共形场论
- 批准号：
EP/X01276X/1 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Fellowship
RAPID: Antecedents and Consequences of Disaster-Related Conspiracy Theories
RAPID：灾难相关阴谋论的前因和后果
- 批准号：
2326644 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
Collaborative Research: SLES: Safe Distributional-Reinforcement Learning-Enabled Systems: Theories, Algorithms, and Experiments
协作研究：SLES：安全的分布式强化学习系统：理论、算法和实验
- 批准号：
2331781 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Standard Grant
Development of tensor renormalization group for lattice field theories rich in internal degrees of freedom
丰富内部自由度晶格场论张量重整化群的发展
- 批准号：
23K13096 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Testing alternative theories of gravity in strong gravitational field by searching for gravitational-wave polarization from compact binary coalescences
通过从致密双星聚结中寻找引力波偏振来测试强引力场中的替代引力理论
- 批准号：
22KJ1650 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Clarifying Sociological Theories' Views on Language and Their Contemporary Social Backgrounds: From a Perspective of the Integration Problem of Postwar National Societies
厘清社会学理论的语言观及其当代社会背景：战后国家社会整合问题的视角
- 批准号：
23H00875 - 财政年份：2023
- 资助金额：
$ 3.45万 - 项目类别：
Grant-in-Aid for Scientific Research (B)