Prover – phrases

Terms for subject Electronics containing Prover | all forms

English	Russian
theorem prover	программа для доказательства теорем (с использованием аксиоматической базы данных)