自动推理

首页

自动推理

列表

默认

浏览次数

发布日期

基于归结方法的自动推理.pdf

基于归结方法的自动推理.pdf

以归结方法为主线，介绍在经典逻辑、模糊逻辑、非单调逻辑和模态逻辑中的自动推理方法。

叁号仓库 2022年07月16日 0 点赞 0 评论 7041 浏览

立即
投稿返回
顶部