theorem mechanical proving

短语词组

短语

• mechanical theorem proving [计]机器定理证明;机器证明;机器证明英语;翻译
• Mechanical geometry theorem proving 几何定理机器证明
• mechanical geometric theorem proving 几何定理的机器证明
• mechanical separator theorem proving 机器证明
• mechanical theorem -proving in geometry 几何定理机器证明
返回 theorem mechanical proving