Перевод prover с английского на русский

Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants.

Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов.

Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions.

Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.

Attempts have also been made to validate Anselm's proof using an automated theorem prover.

Были сделаны попытки для проверки доказательства Ансельма с использованием автоматизированного доказательства теорем.

Saybolt's audited financial statements reflect that, as at 31 July 1990, the net book value of the trailer-mounted prover was GBP 10,006.

Из проверенной финансовой отчетности компании "Сэйболт" следует, что по состоянию на 31 июля 1990 года чистая балансовая стоимость мобильного контрольно-технического стенда составляла 10006 фунтов стерлингов.

This claim element relates to the cost of spare parts used to repair a trailer-mounted master prover as well as the salary, travel and subsistence costs of a calibration engineer and his assistant incurred from 5 March to 29 October 1992 in order to perform the repairs.

Этот элемент претензии касается стоимости запасных частей, использованных для ремонта мобильного контрольно-технического стенда, а также заработной платы, путевых расходов и расходов на проживание инженера-калибровщика и его помощника в период с 5 марта по 25 октября 1992 года в связи с выполнением ремонта.