The complexity of resolution procedures for theorem proving in the propositional calculus /
by Zvi Galil.

Description

Tools

Cite this Export citation file

Main Author: Galil, Zvi.
Language(s): English
Published: [Ithaca, N. Y.] : Galil, 1975
Subjects: Propositional calculus
Proof theory
Automatic theorem proving
Proof theory
Automatic theorem proving
Propositional calculus
Physical Description: v, 112 leaves : ill. ; 29 cm.
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	Cornell University

View HathiTrust MARC record

Similar Items

Combinatorial pattern matching : 6th annual symposium, CPM 95, Espoo, Finland, July 5-7, 1995 : proceedings

Author: Symposium on Combinatorial Pattern Matching (6th : 1995 : Espoo, Finland)
Published: 1995

Theory of computing and systems : Israel Symposium ISTCS '92, Haifa, Israel, May 27-28, 1992, proceedings

Author: Israel Symposium ISTCS '92 (1992 : Haifa, Israel)
Published: 1992

Combinatorial algorithms on words

Author: NATO Advanced Research Workshop on Combinatorial Algorithms on Words (1984 : Maratea, Italy)
Published: 1985

The Sunstone review

Author: Ellis Research Associates.
Published: 1971

Gold quartz and copper-gold-silver mines. Mines de quartz aurifère et mines de cuivre-or-argent

Author: Statistics Canada. Manufacturing and Primary Industries Division.
Published: 1973

Public finance quarterly

Author: Sage Publications.
Published: 1973

Nuclear data sheets

Published: 1971

The bulletin, Biological Services Program news

Author: Biological Services Program (U.S.).
Published: 1977

Russia mediaevalis

Published: 1973

Indian tribes, Alaskan native villages allocation listing by county

Author: United States. Office of Revenue Sharing.
Published: 1973