淡江大學機構典藏:Item 987654321/45354
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 62570/95241 (66%)
造访人次 : 2570009      在线人数 : 345
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧：
  • 您可在西文检索词汇前后加上"双引号"，以获取较精准的检索结果
  • 若欲以作者姓名搜寻，建议至进阶搜寻限定作者字段，可获得较完整数据
    •  进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/45354


    题名: 數學邏輯應用於自動推理之簡介
    作者: 劉虎城
    贡献者: 淡江大學資訊工程學系
    关键词: 自動推理;數學邏輯
    日期: 1986-09
    上传时间: 2013-03-12 13:29:00 (UTC+8)
    出版者: 臺北市：中華民國電腦學會
    關聯: 電腦季刊=Computer Quarterly 20(3)，頁46-62
    显示于类别:[資訊工程學系暨研究所] 期刊論文

    文件中的档案:

    档案 大小格式浏览次数
    index.html0KbHTML184检视/开启

    在機構典藏中所有的数据项都受到原著作权保护.

    TAIR相关文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回馈