刷新
{{item.name}}会员
Logics for Program Development and Analysis
程序开发和分析的逻辑
基本信息
- 批准号：8706851
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1987
- 资助国家：美国
- 起止时间：1987-10-01 至 1989-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This is a research planning grant. The PI is preparing a proposal on logics for program development and analysis. The PI has produced research results in mathematical logic and is expected to be successful in producing results of interest in theoretical computer science.
这是一个研究规划补助金。PI正在准备 关于程序开发和分析逻辑的建议。 PI在数学方面取得了研究成果， 逻辑，预计将成功生产 对理论计算机科学感兴趣的结果。
项目成果
期刊论文数量（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 }}
Catherine Wagner其他文献
Family Voices: Learning from Families with Preschool-Age Children from Historically Marginalized Communities to Expand our Vision of Engineering
家庭之声：向历史上边缘化社区的学龄前儿童家庭学习，以拓展我们的工程视野
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
Scott Pattison;Smirla Ramos;Viviana López Burgos;G. Svarovsky;Catherine Wagner;Annie Douglass;Julie Allen - 通讯作者：
Julie Allen
Exploring Moments of Agency for Girls during an Engineering Activity
探索工程活动中女孩的能动性时刻
- DOI：
10.18404/ijemst.428200 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
G. Svarovsky;Catherine Wagner;M. Cardella - 通讯作者：
M. Cardella
Turning Numbers into Pictures in the Elementary Classroom
- DOI：
10.1557/s0883769400037398 - 发表时间：
2013-11-29 - 期刊：
- 影响因子：4.900
- 作者：
Catherine Wagner - 通讯作者：
Catherine Wagner
Catherine Wagner的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Catherine Wagner', 18)}}的其他基金
Collaborative Research: BoCP-Implementation: The impact of climate change on functional biodiversity across spatiotemporal scales at Lake Tanganyika, Africa
合作研究：BoCP-实施：气候变化对非洲坦噶尼喀湖跨时空尺度功能性生物多样性的影响
- 批准号：
2224892 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Continuing Grant
Collaborative Research: RoL: Local adaptation, hybrid breakdown, and species barriers in North American chickadees
合作研究：RoL：北美山雀的本地适应、杂交破坏和物种障碍
- 批准号：
1928870 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Standard Grant
Reconstructing evolutionary history in adaptive radiations with genomic data
用基因组数据重建适应性辐射的进化历史
- 批准号：
1556963 - 财政年份：2016
- 资助金额：
-- - 项目类别：
Standard Grant
相似海外基金
Conference: Early Career Development (CAREER) Program Workshop for STEM Education Research at Minority-Serving Institutions
会议：少数族裔服务机构 STEM 教育研究早期职业发展 (CAREER) 计划研讨会
- 批准号：
2400690 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard Grant
National Career Development Program for Researchers in Pediatric Clinical Pharmacology
儿科临床药理学研究人员国家职业发展计划
- 批准号：
11001312 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Development and Efficacy Assessment of an Oral Health Education Program for Older Adults with Depressive Symptoms in Myanmar
缅甸有抑郁症状的老年人口腔健康教育计划的制定和效果评估
- 批准号：
24K20102 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Early-Career Scientists
Program Assessment Conference for Mathematics: Creating Tools for Math Departments to Self-Assess Professional Development Programs for their Graduate Student Instructors
数学项目评估会议：为数学系创建工具来自我评估研究生导师的专业发展项目
- 批准号：
2306211 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
CAREER: Culture, Context, and Development Policy: An Interdisciplinary Research and Training Program
职业：文化、背景和发展政策：跨学科研究和培训项目
- 批准号：
2238314 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Development of an online learning program to support lifelong learning assistance for nurses who are responsible for community health care in the new normal era
开发在线学习计划，为新常态时代负责社区医疗保健的护士提供终身学习援助
- 批准号：
23K09906 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of a simulation education program for the parturient period in outcome-based education
基于结果的教育中产期模拟教育计划的开发
- 批准号：
23K10107 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of support tool and program for multiple carer
为多个护理人员开发支持工具和程序
- 批准号：
23H03232 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Development of a healthcare personnel training program for the new normal era after COVID-19
制定COVID-19后新常态时代的医护人员培训计划
- 批准号：
23K16388 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Early-Career Scientists
Development and evaluation of smartphone application-based education program for improving maternal nutrition in Tanzania
开发和评估基于智能手机应用程序的教育计划，以改善坦桑尼亚孕产妇营养
- 批准号：
23K16471 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Early-Career Scientists