中教数据库
我是读者 我是作者 期刊社 学术百科
期刊
期刊
论文
    中教数据库 > 逻辑研究专辑 > 文章详情

    自动推理:它的内容、方法和意义

    更新时间:2023-08-14

    《逻辑研究专辑》2001年00期
    收藏 下载 投稿 纸媒订阅

    【摘要】本文介绍自动推理研究的由来和主要内容,同时也概述了该领域对其它研究所具有的意义。

    【关键词】

    1069 2页 免费

    发表评论

    登录后发表评论 (已发布 0条)

    点亮你的头像 秀出你的观点

    0/500
    以上留言仅代表用户个人观点，不代表中教立场
    相关文献
    相关期刊

    《Agricultural Biotechnology》

    《资源与人居环境(城市)》

    《民航管理》

    《Animal Nutrition》

    热门文献

    精选文献

    推荐期刊

    010-56259535

    关注中教数据库

    Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

    京ICP备2021021570号-13

    京公网安备 11011102000866号