一阶逻辑等值演算与推理

时间:2013-01-27 10:48:28
【文件属性】:

文件名称:一阶逻辑等值演算与推理

文件大小:963KB

文件格式:PPT

更新时间:2013-01-27 10:48:28

一阶逻辑等值演算与推理

一阶逻辑等值演算与推理一阶逻辑等值一阶逻辑等值演算与推理演算与推理


网友评论

  • 这个不是我想要下的东西,这个只是理论上的,我想要源码做出一个一阶逻辑推理。