A Simplified Format for the Model Elimination Theorem-Proving Procedure

• LOVELAND D. W.

収録刊行物

• J. ACM

  J. ACM 16 (3), 349-363, 1969

詳細情報

• CRID: 1571980074186057344
• NII論文ID: 30021964882
• NII書誌ID: AA00253974
• DOI: 10.1145/321526.321527
• データソース種別:
  • CiNii Articles