English  |  正體中文  |  简体中文  |  Items with full text/Total items : 49287/83828 (59%)
Visitors : 7148607      Online Users : 70
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/45354


    Title: 數學邏輯應用於自動推理之簡介
    Authors: 劉虎城
    Contributors: 淡江大學資訊工程學系
    Keywords: 自動推理;數學邏輯
    Date: 1986-09
    Issue Date: 2013-03-12 13:29:00 (UTC+8)
    Publisher: 臺北市:中華民國電腦學會
    Relation: 電腦季刊=Computer Quarterly 20(3),頁46-62
    Appears in Collections:[資訊工程學系暨研究所] 期刊論文

    Files in This Item:

    File SizeFormat
    index.html0KbHTML78View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.


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