Terms containing theorem-proving

Subject	English	Russian
AI.	automated geometric theorem proving	автоматическое доказательство теорем геометрии (Alex_Odeychuk)
AI.	automated theorem proving	автоматическое доказательство теорем (Alex_Odeychuk)
AI.	automated theorem proving system	система автоматического доказательства теорем (Alex_Odeychuk)
progr.	automatic theorem proving	автоматическое доказательство теорем (ssn)
IT	computer theorem proving	машинное доказательство теорем
AI.	interactive theorem proving	интерактивное доказательство теорем (Alex_Odeychuk)
IT	resolution theorem proving	доказательство теорем методом резолюции
AI.	theorem proving	доказывание теорем (Alex_Odeychuk)
progr.	theorem proving	автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
softw.	theorem proving	дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk)
oil	theorem proving	доказательство теорем
progr.	theorem proving	машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
comp.	theorem proving	доказательство теоремы
AI.	theorem proving language	язык программирования на основе автоматического доказательства теорем (Alex_Odeychuk)
AI.	theorem proving methodology	методология автоматического доказательства теорем (автоматическое доказательство теорем – одно из направлений исследований и разработок в области искусственного интеллекта Alex_Odeychuk)
IT	theorem proving program	программа для построения доказательств
IT	theorem proving programme	программа для построения доказательств
math.	theorem-proving heuristics	эвристика доказательства теоремы
math.	theorem-proving process	процесс доказательства теоремы
math.	theorem-proving system	система доказательства теоремы