English | Russian |
automated verification and proof description language | язык описания логических систем для автоматического поиска доказательств (Alex_Odeychuk) |
description generation | построение описаний (Alex_Odeychuk) |
description generation | построение описания (Alex_Odeychuk) |
structural description of knowledge concerning objects | структурное описание знаний об объектах (such as facts, events, things, processes, or ideas, including concepts that within a certain context has a particular meaning – таких как факты, события, предметы, процессы, идеи, включая понятия, имеющие конкретное значение в определённом контексте Alex_Odeychuk) |
use of constraints for partial description of objects | использование ограничений для частичного описания объектов (Alex_Odeychuk) |