搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Thomas Hales
DOI: 10.4007/ANNALS.2005.162.1065
关键词:
摘要:
,2011, 引用: 3
,2010, 引用: 0
,2013, 引用: 0
dagstuhl seminar proceedings,2006, 引用: 0
Arbor-ciencia Pensamiento Y Cultura,2006, 引用: 0
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics,2011, 引用: 7
Journal of Geometry,2014, 引用: 5
australasian joint conference on artificial intelligence,2012, 引用: 22