The complexity of resolution procedures for theorem proving in the propositional calculus
Author(s)
Bibliographic Information
The complexity of resolution procedures for theorem proving in the propositional calculus
University Microfilms International, 1975
Available at / 1 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
GAL||28||1200042278712
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Facsim. Reprint of the author's thesis (Ph.D.)--Cornell University, 1975
Includes bibliographical references (leaves 110-112)