辅助证明法

辅助证明法的词语属性

辅助证明法的百科含义

辅助证明法(auxiliary proving method)亦称半自动证明法一种证明方法.是用机械步骤完成定理证明中部分工作的方法.通常是人制订了证明的框架，而由计算机完成某些局部的细节推演。

• 鸡蛋炒饼丝
• 卡利法
• 越鹅
• 你是光
• 墓葬壁画
• 五零式军服
• kōng duì空队
• 宋代足球小将
• 超市防盗
• 颍阴
• 代理佣金
• xián gé闲隔
• 产羔
• 紫荆花苑
• 姚书亭
• 桃花季节
• 云投影
• 我的音乐人生
• qiǎn chóu遣愁
• 林连普
• 潭剑
• 田午
• 悲剧小姐
• 古华寺
• gǔ lè古乐
• 项宏敏
• 谢艳萍
• 鸡犬新丰
• 情与缘
• 戏唐仁烈