标题 |
Mechanical theorem proving in projective geometry
射影几何中的力学定理证明
相关领域
自动定理证明
数学
点(几何)
复杂系统
戒指(化学)
投射试验
纯数学
域代数上的
离散数学
牙石(牙科)
几何学
计算机科学
算法
人工智能
化学
有机化学
医学
牙科
|
网址 | |
DOI | |
其它 |
期刊:Annals of Mathematics and Artificial Intelligence 作者:J�rgen Richter-Gebert 出版日期:1995-03-01 |
求助人 | |
下载 | 求助已完成,仅限求助人下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|