课题基金 / 基金详情

Data Structures for Predecessor, Geometric, Nonprocedural, Semaphore, and Sequential Retrieval Problems (Computer Research)

Data Structures for Predecessor, Geometric, Nonprocedural, Semaphore, and Sequential Retrieval Problems (Computer Research)
用于前驱、几何、非过程、信号量和顺序检索问题的数据结构(计算机研究)
批准号:
8412447
负责人:
Dan Willard
金额:
$5.72万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1984
资助国家:
美国
项目状态:
已结题
起止时间:
1984-11-15 至 1987-04-30

项目摘要

项目成果

Dan Willard的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: An Investigation of the Partial Degrees in Which Logics Can Recognize Their Own Consistency and the Potentially Broad Inter-Disciplinary Implications of These Effects
  • 批准号:
    0956495
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $10.0万
  • 财政年份:
    2009
  • 负责人:
    Dan Willard
  • 依托单位:
SGER: Generalizations of Godel's Incompleteness Theorem and An Investigation of Self-Justifying Proof Systems
  • 批准号:
    9902726
  • 项目类别:
    Standard Grant
  • 资助金额:
    $10.0万
  • 财政年份:
    1999
  • 负责人:
    Dan Willard
  • 依托单位:
Search Algorithms for Data Retrieval
  • 批准号:
    9302920
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $15.4万
  • 财政年份:
    1993
  • 负责人:
    Dan Willard
  • 依托单位:
Data Structures for Sorting, Searching, Hashing, Computational Geometry and Nonprocedural Databases
  • 批准号:
    9006059
  • 项目类别:
    Standard Grant
  • 资助金额:
    $7.58万
  • 财政年份:
    1991
  • 负责人:
    Dan Willard
  • 依托单位:
海外基金