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

by Zvi Galil

University Microfilms International, 1975

Available at  / 1 libraries

Search this Book/Journal

Note

Facsim. Reprint of the author's thesis (Ph.D.)--Cornell University, 1975

Includes bibliographical references (leaves 110-112)

Details

  • NCID
    BC10567643
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Ann Arbor
  • Pages/Volumes
    v, 112 leaves
  • Size
    21 cm
Page Top