机器证明

【计】 mechanical theorem proving

机器的英语翻译：

apparatus; enginery; machin; machine; machinery
【计】 MEC configuration
【化】 engineering; machine
【医】 engine; machine
【经】 machine

证明的英语翻译：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony