English  |  正體中文  |  简体中文  |  Items with full text/Total items : 54367/62174 (87%)
Visitors : 9741383      Online Users : 139
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTHU 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
    National Tsing Hua University Institutional Repository > 歷任校長 > 陳文村 (2006-2010)  > 會議論文 >  Design of A Parallel Theorem Prover for First Order Logic


    Please use this identifier to cite or link to this item: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/81599


    Title: Design of A Parallel Theorem Prover for First Order Logic
    Authors: Chen, W.-T.;Chou, T.-R.;Kuen-Rong Hsieh;Liu, H.-J.
    教師: 陳文村
    Date: 1991
    Publisher: Institute of Electrical and Electronics Engineers
    Relation: COMPSAC 91 - THE FIFTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, PROCEEDINGS, Institute of Electrical and Electronics Engineers, Tokyo, Japan, 11-13 Sep. 1991, Pages 275-280
    Keywords: formal logic
    logic programming
    parallel algorithms
    theorem proving
    Abstract: The design of a parallel theorem prover for first-order logic is described. The parallel theorem algorithm is based on the divide-and-conquer strategy. The concept of restricted substitution is used to reduce the number of ground clauses generated during the operation of this theorem prover. In this manner, the ground clause set generated by the theorem prover will be much smaller than that generated directly by Herbrand universe.
    Relation Link: http://www.ieee.org/index.html
    URI: http://nthur.lib.nthu.edu.tw/dspace/handle/987654321/81599
    Appears in Collections:[陳文村 (2006-2010) ] 會議論文
    [資訊工程學系] 會議論文

    Files in This Item:

    File Description SizeFormat
    index.html0KbHTML624View/Open


    在NTHUR中所有的資料項目都受到原著作權保護,僅提供學術研究及教育使用,敬請尊重著作權人之權益。若須利用於商業或營利,請先取得著作權人授權。
    若發現本網站收錄之內容有侵害著作權人權益之情事,請權利人通知本網站管理者(smluo@lib.nthu.edu.tw),管理者將立即採取移除該內容等補救措施。

    SFX Query

    與系統管理員聯絡

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