刷新
{{item.name}}会员
Mathematical Sciences: Constructive Set Theory
数学科学：构造性集合论
基本信息
- 批准号：8303288
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1983
- 资助国家：美国
- 起止时间：1983-06-01 至 1985-11-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
Advances in Computer-Assisted Instruction (Information Science)
计算机辅助教学的进展（信息科学）
- 批准号：
8511176 - 财政年份：1985
- 资助金额：
-- - 项目类别：
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号：12226504
- 批准年份：2022
- 资助金额：20.0 万元
- 项目类别：数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号：41224003
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21224005
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Information Sciences
- 批准号：61224002
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51224001
- 批准年份：2012
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Environmental Sciences
- 批准号：21024806
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号：81024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Earth Sciences(中国科学：地球科学)
- 批准号：41024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号：51024803
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
相似海外基金
Mathematical Sciences: Constructive Measurements and Stability for Convex Sets
数学科学：凸集的构造性测量和稳定性
- 批准号：
9401487 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Logical Issues in Constructive Mathematics and Metamathematics of Algebra
数学科学：构造数学和代数元数学中的逻辑问题
- 批准号：
9007990 - 财政年份：1990
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Logical Issues in Constructive Mathematics, and Metamathematics of Algebra
数学科学：构造数学中的逻辑问题和代数元数学
- 批准号：
8809086 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: U.S. Israel Workshop on Constructive Approximation and Applications; Jerusalem, Israel; May 16- 21, 1988
数学科学：美国以色列构造近似及应用研讨会；
- 批准号：
8715667 - 财政年份：1988
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Constructive Computer Methods Appliedto Problems in Statistical Mechanics and Quantum Field Theory
数学科学：应用于统计力学和量子场论问题的构造性计算机方法
- 批准号：
8703539 - 财政年份：1987
- 资助金额：
-- - 项目类别：
Standard Grant
Mathematical Sciences: Constructive Quantum Field Theory andLattice Systems in Statistical Physics
数学科学：统计物理中的构造量子场论和晶格系统
- 批准号：
8716133 - 财政年份：1987
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Logical Issues in Constructive Mathematics, and Metamathematics of Algebra
数学科学：构造数学中的逻辑问题和代数元数学
- 批准号：
8603856 - 财政年份：1986
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Constructive Quantum Field Theory andLattice Systems in Statistical Physics
数学科学：统计物理中的构造量子场论和晶格系统
- 批准号：
8602207 - 财政年份：1986
- 资助金额：
-- - 项目类别：
Continuing grant
Mathematical Sciences: Constructive Quantum Gauge Field Theory and Lattice Systems in Statistical Physics
数学科学：统计物理中的构造量子规范场论和晶格系统
- 批准号：
8401989 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Continuing Grant
Mathematical Sciences: Constructive Quantum Field Theory
数学科学：构造性量子场论
- 批准号：
8402726 - 财政年份：1984
- 资助金额：
-- - 项目类别：
Continuing Grant