已完结
  • 文献求助详情
标题
Mechanical theorem proving in projective geometry
射影几何中的力学定理证明
相关领域
自动定理证明 数学 点(几何) 复杂系统 戒指(化学) 投射试验 纯数学 域代数上的 离散数学 牙石(牙科) 几何学 计算机科学 算法 人工智能 化学 有机化学 医学 牙科
网址
DOI
10.1007/bf01531327 doi
其它 期刊:Annals of Mathematics and Artificial Intelligence
作者:J�rgen Richter-Gebert
出版日期:1995-03-01
求助人
baoxiaozhai 在 2024-11-30 16:00:09 发布自北京,悬赏 10 积分
下载 求助已完成,仅限求助人下载。
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
该求助已完结,感谢关注
如需该文献,请重新发布求助,前往发布
学术共进,科研互通
请遵守相关知识产权规定,勿将文件分享给他人,仅可用于个人研究学习
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
踏实晓啸发布了新的文献求助10
2秒前
3秒前
Jasper应助xu采纳,获得10
4秒前
4秒前
4秒前
黄毅完成签到,获得积分10
5秒前
犹豫寒云发布了新的文献求助10
7秒前
selfevidbet完成签到,获得积分10
8秒前
意安完成签到,获得积分20
8秒前
lijiajie完成签到,获得积分10
8秒前
y_y完成签到,获得积分10
10秒前
踏实晓啸完成签到,获得积分10
10秒前
Badada能量完成签到,获得积分10
10秒前
11秒前
荔枝的油饼iKun完成签到,获得积分10
13秒前
STAR_To发布了新的文献求助10
13秒前
喵喵喵发布了新的文献求助10
13秒前
Takagi发布了新的文献求助10
15秒前
17秒前
无聊的完成签到,获得积分10
17秒前
小蘑菇应助nyc采纳,获得10
18秒前
陈预立发布了新的文献求助10
22秒前
23秒前
xu发布了新的文献求助10
23秒前
oceanao给羅卜貳的求助进行了留言
23秒前
叁壹捌发布了新的文献求助10
23秒前
嘀嘀菇菇完成签到 ,获得积分10
24秒前
lsl发布了新的文献求助30
26秒前
s_h发布了新的文献求助10
28秒前
30秒前
ibigbird发布了新的文献求助10
30秒前
Chris发布了新的文献求助30
30秒前
anjun完成签到,获得积分0
34秒前
zqxu发布了新的文献求助10
35秒前
s_h完成签到,获得积分10
36秒前
oceanao应助纳米粒子采纳,获得10
36秒前
Handy发布了新的文献求助10
37秒前
linxyejing发布了新的文献求助10
39秒前
CipherSage应助诚心谷南采纳,获得10
40秒前
42秒前
高分求助中
Evolution 10000
Becoming: An Introduction to Jung's Concept of Individuation 600
Ore genesis in the Zambian Copperbelt with particular reference to the northern sector of the Chambishi basin 500
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
A new species of Velataspis (Hemiptera Coccoidea Diaspididae) from tea in Assam 500
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 500
The Kinetic Nitration and Basicity of 1,2,4-Triazol-5-ones 440
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3164310
求助须知:如何正确求助?哪些是违规求助? 2815071
关于积分的说明 7907481
捐赠科研通 2474626
什么是DOI,文献DOI怎么找? 1317598
科研通“疑难数据库(出版商)”最低求助积分说明 631857
版权声明 602228