×

zbMATH — the first resource for mathematics

Special relations in automated deduction. (English) Zbl 0637.68103

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B35 Mechanization of proofs and logical operations
PDF BibTeX XML Cite
Full Text: DOI