自动推理导论
删除本页内容作者:邱玉辉，张为群编著
关键词:推理-数理逻辑 数理逻辑-推理
页数:216
出版社: 成都：电子科技大学出版社
出版日期:1992.06
本书2023年3月14日可阅读或下载
自动推理导论
推理-数理逻辑 数理逻辑-推理
留言内容
发布留言
用户须知：
1.如果要找《自动推理导论》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://unicover.duxiu.com/coverNew/CoverNew.dll?iid=676765666E68656D67685CA9A9A29F98A897A8AF5C673135363438313236