刷新
{{item.name}}会员
Advances in Computer-Assisted Instruction (Information Science)
计算机辅助教学的进展（信息科学）
基本信息
- 批准号：8511176
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1985
- 资助国家：美国
- 起止时间：1985-08-01 至 1989-07-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 }}
Michael Beeson其他文献
Larry Wos: Visions of Automated Reasoning
- DOI：
10.1007/s10817-022-09620-8 - 发表时间：
2022-02-28 - 期刊：
- 影响因子：0.800
- 作者：
Michael Beeson;Maria Paola Bonacina;Michael Kinyon;Geoff Sutcliffe - 通讯作者：
Geoff Sutcliffe
The meaning of infinity in calculus and computer algebra systems
微积分和计算机代数系统中无穷大的含义
- DOI：
10.1016/j.jsc.2004.12.002 - 发表时间：
2002 - 期刊：
- 影响因子：0
- 作者：
Michael Beeson;F. Wiedijk - 通讯作者：
F. Wiedijk
Some results on finiteness in Plateau's problem, part I
- DOI：
10.1007/bf01674441 - 发表时间：
1980-06-01 - 期刊：
- 影响因子：1.000
- 作者：
Michael Beeson - 通讯作者：
Michael Beeson
On interior branch points of minimal surfaces
- DOI：
10.1007/bf01176704 - 发表时间：
1980-06-01 - 期刊：
- 影响因子：1.000
- 作者：
Michael Beeson - 通讯作者：
Michael Beeson
Double-Negation Elimination in Some Propositional Logics
- DOI：
10.1007/s11225-005-8469-4 - 发表时间：
2005-08-01 - 期刊：
- 影响因子：0.600
- 作者：
Michael Beeson;Robert Veroff;Larry Wos - 通讯作者：
Larry Wos
Michael Beeson的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Michael Beeson', 18)}}的其他基金
RUI: Logic and Computation: Automating Proofs in Calculus and Analysis in Teacher Preparation
RUI：逻辑与计算：微积分中的自动化证明和教师准备中的分析
- 批准号：
9528913 - 财政年份：1996
- 资助金额：
-- - 项目类别：
Standard Grant
A Computer Laboratory for Learning Algebra, Trigonometry andCalculus
学习代数、三角学和微积分的计算机实验室
- 批准号：
9050894 - 财政年份：1990
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Constructive Set Theory
数学科学：构造性集合论
- 批准号：
8303288 - 财政年份：1983
- 资助金额：
-- - 项目类别：
Standard Grant
相似国自然基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
- 批准号：62375132
- 批准年份：2023
- 资助金额：54.00 万元
- 项目类别：面上项目
Journal of Computer Science and Technology
- 批准号：61224001
- 批准年份：2012
- 资助金额：20.0 万元
- 项目类别：专项基金项目
Journal of Computer Science and Technology
- 批准号：61040017
- 批准年份：2010
- 资助金额：4.0 万元
- 项目类别：专项基金项目
相似海外基金
Research on personalization of spoken-dialogue-based computer-assisted-language-learning system
基于口语对话的计算机辅助语言学习系统的个性化研究
- 批准号：
23K24962 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (B)
Collaborative Research: EAGER: AI-Assisted Just-in-Time Scaffolding Framework for Exploring Modern Computer Design
合作研究：EAGER：用于探索现代计算机设计的人工智能辅助即时脚手架框架
- 批准号：
2327971 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2245017 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Computer-assisted Proofs in Fluid Mechanics and Applications
流体力学及其应用中的计算机辅助证明
- 批准号：
2247537 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Computer-assisted diagnosis of ear pathologies by combining digital otoscopy with complementary data using machine learning
通过使用机器学习将数字耳镜与补充数据相结合来计算机辅助诊断耳部病变
- 批准号：
10564534 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Integration of Computer-Assisted Methods and Human Interactions to Understand Lesson Plan Quality and Teaching to Advance Middle-Grade Mathematics Instruction
计算机辅助方法和人机交互的整合，以了解课程计划的质量和教学，以推进中年级数学教学
- 批准号：
2300291 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Continuing Grant
Collaborative Research: EAGER: AI-Assisted Just-in-Time Scaffolding Framework for Exploring Modern Computer Design
合作研究：EAGER：用于探索现代计算机设计的人工智能辅助即时脚手架框架
- 批准号：
2327972 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2244879 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2403764 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
FRG: Collaborative Research: Singularities in Incompressible Flows: Computer Assisted Proofs and Physics-Informed Neural Networks
FRG：协作研究：不可压缩流中的奇异性：计算机辅助证明和物理信息神经网络
- 批准号：
2245021 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant