• 题名: MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS
    作者: CHOU S-C ET AL
    索书号: http://www.worldscientific.com/worldscibooks/10.1142/2196#t=toc
在架

测试图片