刷新
{{item.name}}会员
Mechanizing the Mathematics of Computer Program Analysis
计算机程序分析的数学机械化
基本信息
- 批准号：7681425
- 负责人：
- 金额：$ 18.33万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1977
- 资助国家：美国
- 起止时间：1977-05-15 至 1979-10-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 Boyer其他文献
脱工業化の理論と先進諸国の現実―構造変化と多様性―
去工业化理论与发达国家现实：结构变迁与多样性
- DOI：
- 发表时间：
2015 - 期刊：
- 影响因子：0
- 作者：
Robert Boyer;Hiroyasu Uemura and Akinori Isogai;植村博恭・田原慎二 - 通讯作者：
植村博恭・田原慎二
サブリージョナリズム分析の新しい潮流 ：マクロリージョナリズム
次区域主义分析新趋势：宏观区域主义
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Robert Boyer;Hiroyasu Uemura;Toshio Yamada;Lei Song;Hitoshi Hirakawa.;Norio Tokumaru;and others;箱田徹;柳原剛司;柑本英雄 - 通讯作者：
柑本英雄
日本の幼児教育と学校教育
日本的幼儿教育和学校教育
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Robert Boyer;Hiroyasu Uemura;Toshio Yamada;Lei Song;Hitoshi Hirakawa.;Norio Tokumaru;and others;箱田徹;柳原剛司;柑本英雄;Yoshihide Sakurai;丹野清人;中川涼司・髙久保豊・中原裕美子他;箱田徹;七木田 敦 - 通讯作者：
七木田 敦
Civil Society’s Participation in Multi-Layered and Multi-Stakeholder Regions: Toward People-Centered Development
民间社会参与多层次、多利益相关方领域：迈向以人为本的发展
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Robert Boyer;Hiroyasu Uemura;Toshio Yamada;Lei Song;Hitoshi Hirakawa.;Norio Tokumaru;and others;箱田徹;柳原剛司;柑本英雄;Yoshihide Sakurai;丹野清人;中川涼司・髙久保豊・中原裕美子他;箱田徹;七木田 敦;嵯峨嘉子／伊藤嘉余子／若林身歌／関川芳孝／田間泰子／大関知子／浦出俊和／中谷奈津子／梅田直美;五十嵐誠一 - 通讯作者：
五十嵐誠一
日本における幼児教育の特質ー保幼小の接続からー
日本幼儿教育的特点：从学前班与小学的联系看
- DOI：
- 发表时间：
2017 - 期刊：
- 影响因子：0
- 作者：
Robert Boyer;Hiroyasu Uemura;Toshio Yamada;Lei Song;Hitoshi Hirakawa.;Norio Tokumaru;and others;箱田徹;柳原剛司;柑本英雄;Yoshihide Sakurai;丹野清人;中川涼司・髙久保豊・中原裕美子他;箱田徹;七木田 敦;嵯峨嘉子／伊藤嘉余子／若林身歌／関川芳孝／田間泰子／大関知子／浦出俊和／中谷奈津子／梅田直美;五十嵐誠一;田村哲樹・近藤康史・堀江孝司;Yoshihide Sakurai;弘田洋二;七木田 敦 - 通讯作者：
七木田 敦
Robert Boyer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robert Boyer', 18)}}的其他基金
Non-Commutative Harmonic Analysis in Object Recognition and Tracking
目标识别和跟踪中的非交换谐波分析
- 批准号：
0308864 - 财政年份：2004
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
A Conference on Automated Reasoning and Artificial Intelligence in Honor of W.W. Bledsoe (November 15-16, 1991,University of Texas, Austin)
纪念 W.W. 自动推理和人工智能会议
- 批准号：
9102868 - 财政年份：1991
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Mechanized Code Proofs Based on a Formal Microprocessor Specification
基于正式微处理器规范的机械化代码证明
- 批准号：
9017499 - 财政年份：1991
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Automated Reasoning in Geometry and Mechanics
几何和力学中的自动推理
- 批准号：
9002362 - 财政年份：1990
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Mathematical Sciences: Representation Theory of Infinite Dimensional Classical Groups
数学科学：无限维经典群的表示论
- 批准号：
8902389 - 财政年份：1989
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Mechanizing the Mathematics of Computer Program Analysis
计算机程序分析的数学机械化
- 批准号：
8202943 - 财政年份：1982
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Characters of the Inductive Limit Group
归纳极限群的特征
- 批准号：
8104840 - 财政年份：1981
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Mechanizing the Mathematics of Computer Program Analysis
计算机程序分析的数学机械化
- 批准号：
8116774 - 财政年份：1981
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
相似国自然基金
普林斯顿应用数学指南（The Princeton Companion to Applied Mathematics ）的翻译与出版
- 批准号：12226506
- 批准年份：2022
- 资助金额：10.0 万元
- 项目类别：数学天元基金项目
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
数学之源书（Source book in mathematics)的翻译与出版
- 批准号：11826405
- 批准年份：2018
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
怀尔德“Mathematics as a cultural system”翻译研究
- 批准号：11726404
- 批准年份：2017
- 资助金额：3.0 万元
- 项目类别：数学天元基金项目
Frontiers of Mathematics in China
- 批准号：11024802
- 批准年份：2010
- 资助金额：16.0 万元
- 项目类别：专项基金项目
相似海外基金
An Inclusive and Effective Approach to Recruiting and Preparing Mathematics, Science, and Computer Science Teachers for Urban, High-Need Schools
为城市高需求学校招聘和培养数学、科学和计算机科学教师的包容性和有效方法
- 批准号：
2243417 - 财政年份：2023
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Integration of Computer-Assisted Methods and Human Interactions to Understand Lesson Plan Quality and Teaching to Advance Middle-Grade Mathematics Instruction
计算机辅助方法和人机交互的整合，以了解课程计划的质量和教学，以推进中年级数学教学
- 批准号：
2300291 - 财政年份：2023
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Fostering Interdisciplinary Community, Belonging, and Success of Low-Income, High-Achieving Mathematics, Computer Science, and Statistics Majors
培养低收入、高成就数学、计算机科学和统计学专业的跨学科社区、归属感和成功
- 批准号：
2221516 - 财政年份：2022
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Building Capacity for Recruiting and Effectively Preparing Mathematics, Science, and Computer Science Teachers for Urban, High-Need Schools
为城市高需求学校招聘和有效培养数学、科学和计算机科学教师的能力建设
- 批准号：
2150794 - 财政年份：2022
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Preparing Mathematics and Science Teachers for Computer Science Teacher Certification and Expertise
为数学和科学教师获得计算机科学教师认证和专业知识做好准备
- 批准号：
2151046 - 财政年份：2022
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Increasing the Access and Success of Scholars in Mathematics and Computer Science at a Hispanic Serving Institution
增加西班牙裔服务机构数学和计算机科学学者的机会和成功
- 批准号：
2221234 - 财政年份：2022
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Supporting the Graduation of Transfer Students Pursuing Bachelor's Degrees in Mathematics, Computer, and Natural Sciences
支持转学生攻读数学、计算机和自然科学学士学位
- 批准号：
2030702 - 财政年份：2021
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Preparing Biology, Chemistry, Mathematics, and Computer Science Secondary School Teachers with Skills in Culturally Responsive Teaching
培养生物学、化学、数学和计算机科学中学教师的文化响应式教学技能
- 批准号：
2050388 - 财政年份：2021
- 资助金额：
$ 18.33万 - 项目类别：
Continuing Grant
Advancing Academic Success and Career Development for Talented, Low-Income Computer Science, Mathematics, and Engineering Majors
促进有才华的低收入计算机科学、数学和工程专业学生的学业成功和职业发展
- 批准号：
2130267 - 财政年份：2021
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant
Providing Scholarships and Interdisciplinary Cohort Experiences to Increase Retention and Graduation of STEM Undergraduates in Chemistry, Computer Science, Mathematics, and Physics
提供奖学金和跨学科队列经验，以提高化学、计算机科学、数学和物理领域 STEM 本科生的保留率和毕业率
- 批准号：
2030396 - 财政年份：2021
- 资助金额：
$ 18.33万 - 项目类别：
Standard Grant