A machine-oriented logic based on the resolution principle

被引用文献1件

収録刊行物

  • J. ACM

    J. ACM 12 (1), 23-41, 1965

被引用文献 (1)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1573387450527864192
  • NII論文ID
    10024628891
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ