a person, device, or program that performs logical or mathematical proofs

الإنجليزية - الإنجليزية

تعريف a person, device, or program that performs logical or mathematical proofs في الإنجليزية الإنجليزية القاموس.

prover

الواصلة

a person, device, or pro·gram that performs lo·gi·cal or math·e·ma·ti·cal proofs