A useful method of proof in mechanical theorem proving
From MaRDI portal
Publication:2769386
zbMATH Open0979.03501MaRDI QIDQ2769386
Maokang Wu, Huaikou Miao, Fu Tong
Publication date: 5 February 2002
Published in: Journal of Shanghai University. Natural Science (Search for Journal in Brave)
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)
