Knowledge representation : Pastre, D ‘MUSCADET: an automatic theorem proving system using knowledge and metaknowledge in mathematics’ Artif. Intell. Vol 38 No 3 (April 1989) pp 257–318
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 14 February 2003.
论文官网地址：https://doi.org/10.1016/0950-7051(90)90088-Y
