刷新
{{item.name}}会员
Investigations in Language Design and Formal Semantics
语言设计和形式语义学研究
基本信息
- 批准号：7614293
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1976
- 资助国家：美国
- 起止时间：1976-09-15 至 1979-02-28
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
相似海外基金
CAREER: Data-driven design of graphene oxide for environmental applications enabled by natural language processing and machine learning techniques
职业：通过自然语言处理和机器学习技术实现氧化石墨烯环境应用的数据驱动设计
- 批准号：
2238415 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金，用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会，2023-2025 年
- 批准号：
2310964 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Preparing Pre-service Science Teachers to Integrate Engineering Design, Language, and Literacy in Science Teaching
培养职前科学教师将工程设计、语言和读写能力融入科学教学
- 批准号：
2243516 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Disability DCL: Transforming the Chemistry Experience for Deaf and Hard of Hearing Students via the Design, Implementation, and Evaluation of a Descriptive Sign Language Lexicon
残疾 DCL：通过描述性手语词典的设计、实施和评估来改变失聪和听力障碍学生的化学体验
- 批准号：
2314708 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Architectural Design Across Spaces and Cultures: Technology and Language
跨空间和文化的建筑设计：技术和语言
- 批准号：
DP230100605 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Discovery Projects
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究：FMitF：第一轨：通过语言设计和综合进行 CAD 系统的最终用户编程
- 批准号：
2219865 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
协作研究：FMitF：第一轨：通过语言设计和综合进行 CAD 系统的最终用户编程
- 批准号：
2219864 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Standard Grant
Evaluation and design research of robot hands to generate American Sign Language
生成美国手语的机械手评估与设计研究
- 批准号：
563580-2021 - 财政年份：2021
- 资助金额：
-- - 项目类别：
University Undergraduate Student Research Awards
Cross-Border Learning Environment Design for Japanese Language Education Based on the High Flex Model
基于高弹性模型的日语教育跨境学习环境设计
- 批准号：
21K00609 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Machine learning for extracting design and artificial intelligence concepts from natural language
用于从自然语言中提取设计和人工智能概念的机器学习
- 批准号：
562735-2021 - 财政年份：2021
- 资助金额：
-- - 项目类别：
University Undergraduate Student Research Awards