The complexity of resolution procedures for theorem proving in the propositional calculus

Bibliographische Detailangaben

1. Verfasser:	Galil, Zvi (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Ithaca, New York 1975
Schriftenreihe:	Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 239
Schlagworte:	Automatic theorem proving Proof theory Propositional calculus Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!