SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Mechanical theorem proving in projective geometry
自动定理证明
数学
点（几何）
复杂系统
戒指（化学）
投射试验
纯数学
域代数上的
离散数学
牙石（牙科）
几何学
计算机科学
算法
人工智能
牙科
化学
有机化学
医学
作者
J�rgen Richter-Gebert
出处
期刊：
Annals of Mathematics and Artificial Intelligence
[Springer Science+Business Media]
日期：1995-03-01
卷期号：13 (1-2): 139-172
被引量：32
标识
DOI：10.1007/bf01531327
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
活动
『应助活动周』获奖名单已公布 🔥
(2025-4-2)
更新
『中科院2025期刊分区』已更新
(2025-3-23)
更新
『即时热点』模块已上线
(2025-2-28)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
顺利的乐枫
完成签到
，获得积分
10
1秒前
Lyyyw
完成签到，获得积分
10
1秒前
nnnn
完成签到，获得积分
10
1秒前
Jasper
的
应助
被
Bin_Liu
采纳，获得
10
2秒前
科研通AI2S
的
应助
被
hkh
采纳，获得
10
5秒前
笨笨芯
上传了
应助文件
7秒前
Meyako
完成签到
，获得积分
10
9秒前
金葡菌
完成签到，获得积分
20
10秒前
剑指东方是为谁
的
应助
被
科研通管家
采纳，获得
10
11秒前
爆米花
的
应助
被
科研通管家
采纳，获得
10
11秒前
可爱的函函
的
应助
被
科研通管家
采纳，获得
10
11秒前
qiao
的
应助
被
科研通管家
采纳，获得
20
11秒前
科研通AI2S
的
应助
被
科研通管家
采纳，获得
10
11秒前
小二郎
的
应助
被
科研通管家
采纳，获得
10
11秒前
cdercder
的
应助
被
科研通管家
采纳，获得
10
11秒前
cdercder
的
应助
被
科研通管家
采纳，获得
10
12秒前
hiha
完成签到，获得积分
10
13秒前
小马甲
的
应助
被
Cc
采纳，获得
10
14秒前
研友_VZG7GZ
上传了
应助文件
15秒前
迷路的沛芹
完成签到
，获得积分
10
15秒前
在水一方
的
应助
被
阔达的柠檬
采纳，获得
10
18秒前
wzglpdq
发布了新的
文献求助
10
19秒前
Will
完成签到，获得积分
10
20秒前
小马甲
上传了
应助文件
23秒前
岁月轮回
发布了新的
文献求助
10
24秒前
小二郎
上传了
应助文件
25秒前
刘国建郭菱香
完成签到
，获得积分
10
30秒前
Cc
发布了新的
文献求助
10
30秒前
panda
发布了新的
文献求助
10
33秒前
笨笨芯
上传了
应助文件
35秒前
梦梦
完成签到
，获得积分
10
36秒前
汉堡包
的
应助
被
Cc
采纳，获得
10
36秒前
文欣
完成签到
，获得积分
10
38秒前
辉辉
完成签到，获得积分
10
39秒前
科研通AI5
的
应助
被
小天
采纳，获得
10
40秒前
慕青
的
应助
被
一北
采纳，获得
10
43秒前
爆米花
的
应助
被
29
采纳，获得
10
43秒前
Orange
上传了
应助文件
46秒前
打打
的
应助
被
Leo
采纳，获得
10
51秒前
无限的千凝
发布了新的
文献求助
10
52秒前
高分求助中
【此为提示信息，请勿应助】请按要求发布求助，避免被关
20000
Continuum Thermodynamics and Material Modelling
2000
Encyclopedia of Geology (2nd Edition)
2000
105th Edition CRC Handbook of Chemistry and Physics
1600
Maneuvering of a Damaged Navy Combatant
650
Периодизация спортивной тренировки. Общая теория и её практическое применение
310
Mixing the elements of mass customisation
300
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
物理
生物化学
纳米技术
计算机科学
化学工程
内科学
复合材料
物理化学
电极
遗传学
量子力学
基因
冶金
催化作用
热门帖子
关注
科研通微信公众号，转发送积分
3779613
求助须知：如何正确求助？哪些是违规求助？
3325127
关于积分的说明
10221318
捐赠科研通
3040220
什么是DOI，文献DOI怎么找？
1668678
邀请新用户注册赠送积分活动
798766
科研通“疑难数据库（出版商）”最低求助积分说明
758535
今日热心研友
bc
22
790
Oracle
25
750
cdercder
740
平常的毛豆
39
220
pluto
15
310
昏睡的蟠桃
460
我剑也未尝不利
24
190
iNk
22
170
笨笨芯
37
xiahou
350
余味
35
斯寜
17
140
归尘
310
高大凌寒
300
研友_Y59785
28
back you up
280
pcr163
9
180
zho
10
140
冰魂
230
善良的剑通
23
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
bc
Oracle
cdercder
平常的毛豆
pluto
昏睡的蟠桃
我剑也未尝不利
iNk
笨笨芯
xiahou
余味
斯寜
归尘
高大凌寒
研友_Y59785
back you up
pcr163
zho
冰魂
善良的剑通
皖公网安备34019202002308
