Полный англо-русский словарь
Средство доказательства automatic theorem prover program correctness prover (полиграфия) снимающий пробный оттиск
prover