课题基金 / 基金详情

Arithmetic Theories and Incompleteness Phenomena (Computer Research)

Arithmetic Theories and Incompleteness Phenomena (Computer Research)
算术理论和不完备性现象（计算机研究）
批准号：
8304788
负责人：
Ken McAloon
金额：
$10.07万
依托单位：
CUNY Brooklyn College
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1983
资助国家：
美国
项目状态：
已结题
起止时间：
1983-07-01 至 1986-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8304788&HistoricalAwards=false
关键词：
ArithmeticTheoriesIncompletenessPhenomenaComputer

项目摘要

项目成果

Ken McAloon的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
U.S.-Korea Cooperative Research on Constraint Methods and Inference Engines for Expert Systems
  • 批准号：
    9404905
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.29万
  • 财政年份：
    1994
  • 负责人：
    Ken McAloon
  • 依托单位：
    CUNY Brooklyn College
RUI: Highly Parallel Constraint Logic Programming for AI and MIP Applications
  • 批准号：
    9115603
  • 项目类别：
    Standard Grant
  • 资助金额：
    $13.64万
  • 财政年份：
    1992
  • 负责人：
    Ken McAloon
  • 依托单位：
    CUNY Brooklyn College
U.S.-Japan Cooperative Research: Applied Constraint Logic Programming
  • 批准号：
    8816418
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.8万
  • 财政年份：
    1989
  • 负责人：
    Ken McAloon
  • 依托单位：
    CUNY Brooklyn College
Constraints, Logic Programming and Rule-Based Systems
  • 批准号：
    8902511
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $18.62万
  • 财政年份：
    1989
  • 负责人：
    Ken McAloon
  • 依托单位：
    CUNY Brooklyn College
海外基金