The complexity of resolution procedures for theorem proving in the propositional calculus
著者
書誌事項
The complexity of resolution procedures for theorem proving in the propositional calculus
University Microfilms International, 1975
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Facsim. Reprint of the author's thesis (Ph.D.)--Cornell University, 1975
Includes bibliographical references (leaves 110-112)