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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
-
依托单位:
Data Structures for Retrieval Problems (Computer and Information Science)
-
批准号:8703430
-
项目类别:Standard Grant
-
资助金额:$19.06万
-
财政年份:1987
-
负责人:Dan Willard
-
依托单位:
海外基金