【計(jì)】 mechanical theorem proving

機(jī)器的英語翻譯：

apparatus; enginery; machin; machine; machinery
【計(jì)】 MEC configuration
【化】 engineering; machine
【醫(yī)】 engine; machine
【經(jīng)】 machine

證明的英語翻譯：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【計(jì)】 proofness; proving
【化】 proofing
【醫(yī)】 certificate; certify; proof
【經(jīng)】 attest; attestation; authenticated; authentication; certification
certify; testimony