Plane Geometry Theorem Proving Using Forward Chaining Artificial IntelligenceNevins, A. J.: Plane Geometry Theorem Proving Using Forward Chaining. Artificial Intelligence 6, 1–23 (1975) MathSciNet MATH... AJ Nevins - 《Artificial Intelligence》 被引量: 165发表: 1975年 Accident identification in nu...