PROVERS

Англо-русский перевод PROVERS

Программы

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

PROVERS — Программы
Новый большой Англо-Русский словарь
CUBIC FOOT BOTTLE — noun : a metal container having a capacity of one cubic foot for use in the testing of gas-meter provers …
Webster's New International English Dictionary
ISABELLE — < theory , tool > A generic theorem prover with support for several object-logics , developed by Lawrence C. Paulson …
FOLDOC Computer English Dictionary
B-TOOLKIT — < tool , programming , product > A set of software tools designed to support a rigorous or formal development …
FOLDOC Computer English Dictionary

← PROVERBS PROVES→