A useful method of proof in mechanical theorem proving

MaRDI QIDQ2769386zbMATH OpenFDO

Authors Maokang Wu, Fu Tong, Huaikou Miao

Publication date 5 February 2002

Published in Journal of Shanghai University. Natural Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: A useful method of proof in mechanical theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2769386)