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

    类别浏览

    正在载入社群分类, 请稍候....

    年代浏览

    正在载入年代分类, 请稍候....

    "Yang, Chao-Chih"的相关文件  

    回到依作者浏览

    显示 9 项.

    类别 日期 题名 作者 档案
    [資訊工程學系暨研究所] 會議論文 1995-12 正規演繹圖於演繹式資料庫中整體性限制檢查之應用 An Application of Normal Deduction Graphs to Integrity Constraint Checking in Deductive Databases 洪文斌; 楊超植; Horng, Wen-Bing; Yang, Chao-Chih
    [資訊工程學系暨研究所] 會議論文 1994-12-12 Formalizing inheritance with exception by using logic programs 洪文斌; Horng, Wen-bing; 楊超植; Yang, Chao-chih
    [資訊工程學系暨研究所] 會議論文 1994-12-12 On semantics of commonsense knowledge Horng, Wen-Bing; Yang, Chao-Chih
    [資訊工程學系暨研究所] 會議論文 1994-12 Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs Horng, Wen-Bing; Yang, Chao-Chih
    [資訊工程學系暨研究所] 會議論文 1993-12-02 Logic programs with conflict resolution 洪文斌; Horng, Wen-bing; 楊超植; Yang, Chao-chih
    [資訊工程學系暨研究所] 會議論文 1993-12 Logic programs with conflict resolution = 邏輯程式中之矛盾解決 Horng, Wen-bing; 洪文斌; Yang, Chao-chih; 楊超植
    [資訊工程學系暨研究所] 會議論文 1993-04-18 Conflict resolution in commonsense reasoning 洪文斌; Horng, Wen-bing; 楊超植; Yang, Chao-chih
    [資訊工程學系暨研究所] 會議論文 1991-06 Robabilistic deductive and abductive reasoning by using probabilistic deduction graphs and Integer programming Li, Han-lin; Yang, Chao-chih; 楊超植; Horng, Wen-bing; 洪文斌
    [資訊工程學系暨研究所] 期刊論文 1991-01 A shortest path algorithm to find minimal deduction graphs Horng, Wen-bing; Yang, Chao-chih

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