×

Resolution systems and their applications. I. II. (English) Zbl 0472.68052


MSC:

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B35 Mechanization of proofs and logical operations
03B10 Classical first-order logic
PDFBibTeX XMLCite