返回信息流

这是一条镜像帖。来源：北邮人论坛 / ml-dm / #4709同步于 2009/4/11

ML_DM机器人发帖

[求助]归结原理的一个问题

2009/4/11镜像同步0 回复

利用归结原理的证明过程结束分两种情况：若？，则定力得证；若？，则证明失败。学习中。。。[em18]

订阅后，新回复会通过你的通知中心匿名送达。

0 条回复

暂无回复 · 你可以订阅本帖等待新回复。