刷新
{{item.name}}会员
Improving the Nuprl Proof Development System
改进Nuprl证明开发系统
基本信息
- 批准号：8616552
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1987
- 资助国家：美国
- 起止时间：1987-09-01 至 1992-02-29
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Robert Constable其他文献
Implementing Euclid’s straightedge and compass constructions in type theory
- DOI：
10.1007/s10472-018-9603-0 - 发表时间：
2018-09-26 - 期刊：
- 影响因子：1.000
- 作者：
Ariel Kellison;Mark Bickford;Robert Constable - 通讯作者：
Robert Constable
Robert Constable的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robert Constable', 18)}}的其他基金
EAGER: Constructive Univalent Foundations
EAGER：建设性的单价基础
- 批准号：
1650069 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Standard Grant
CSR-EHS: Developing a Theory of Events to Improve Distributed Systems
CSR-EHS：开发事件理论以改进分布式系统
- 批准号：
0614790 - 财政年份：2006
- 资助金额：
-- - 项目类别：
Continuing grant
Enabling Large-Scale Coherency Among Mathematical Texts in the NSDL
实现 NSDL 中数学文本的大规模连贯性
- 批准号：
0333526 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Standard Grant
Innovative Programming Technology for Embedded Systems
嵌入式系统的创新编程技术
- 批准号：
0208536 - 财政年份：2002
- 资助金额：
-- - 项目类别：
Continuing grant
U.S.-Germany Cooperative Research: Enhancing Proof Assistant Systems
美德合作研究：增强证明辅助系统
- 批准号：
0003789 - 财政年份：2001
- 资助金额：
-- - 项目类别：
Standard Grant
Educational Innovation: Creating and Evaluating Formal Courseware for Mathematics and Computing
教育创新：创建和评估数学和计算的正式课件
- 批准号：
9812630 - 财政年份：1999
- 资助金额：
-- - 项目类别：
Standard Grant
Creating and Evaluating Interactive Formal Courseware for Mathematics and Computing
创建和评估数学和计算交互式正式课件
- 批准号：
9555162 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
Exploring New Constructs in Computational Type Theory
探索计算类型理论的新结构
- 批准号：
9423687 - 财政年份：1995
- 资助金额：
-- - 项目类别：
Continuing grant
A Set Theory for Functional Programming Languages
函数式编程语言的集合论
- 批准号：
9203302 - 财政年份：1992
- 资助金额：
-- - 项目类别：
Continuing grant
Computation in Refinement Logics for Type Theory
类型论细化逻辑中的计算
- 批准号：
9108062 - 财政年份：1991
- 资助金额：
-- - 项目类别：
Continuing grant
相似海外基金
Improving the Nuprl Proof Development System
改进Nuprl证明开发系统
- 批准号：
9002822 - 财政年份：1990
- 资助金额：
-- - 项目类别：
Standard Grant