中教数据库
我是读者 我是作者 期刊社 学术百科
期刊
期刊
论文

    共找到 相关的 本期刊

    推荐期刊
    免费发表
    纸媒订阅
    核心
    期刊级别
    全部
    核心(南大)
    国家级
    省级
    核心(北大)
    核心(北大,南大)
    未分级
    出版周期
    全部
    年刊
    半年刊
    季刊
    双月刊
    月刊
    半月刊
    旬刊
    周刊
    其他

    共找到 相关的 1篇文献

    前沿创新
    人气文献
    免费阅读
    核心

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

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

    《逻辑研究专辑》 2001年第00期 收藏

    1597 1069 5

    010-56259535

    关注中教数据库

    Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

    京ICP备2021022288号-1

    京公网安备 11011102000866号