生成と検査の論理プログラムの統合による優先順位付き極小限定・定理証明器の構築 Circumscriptive theorem prover based on integration of guess and check programs

収録刊行物

芝浦工業大学研究報告, 理工系編  

芝浦工業大学研究報告, 理工系編 51(1), 25-32, 2007 

芝浦工業大学

各種コード

  • NII論文ID(NAID) :
    40015439721
  • NII書誌ID(NCID) :
    AN00106880
  • 本文言語コード :
    JPN
  • 雑誌種別 :
    大学紀要
  • ISSN :
    03863115
  • NDL 記事登録ID :
    8785959
  • NDL 雑誌分類 :
    ZM2(科学技術--科学技術一般--大学・研究所・学会紀要)
  • NDL 請求記号 :
    Z14-201
  • 収録DB :
    NDL