Sign in | English | Terms of Use
DictionaryForumContacts
Terms for subject Artificial intelligence containing Procedure | all forms
EnglishRussian
conclusive procedureпроцедура вывода (ssn)
constrained inference procedureпроцедура логического вывода в ограничениях (Alex_Odeychuk)
quantifier instantiation procedureпроцедура инстанцирования квантора (Microsoft Alex_Odeychuk)
quantifier-elimination procedureпроцедура элиминации кванторов (Microsoft Alex_Odeychuk)
unconstrained inference procedureпроцедура логического вывода без ограничений (Alex_Odeychuk)

Get short URL