Terms for subject Artificial intelligence containing interactive

English	Russian
interactive machine learning	интерактивное машинное обучение (Alex_Odeychuk)
interactive MT	интерактивный машинный перевод (Alex_Odeychuk)
interactive proof checker	интерактивная система автоматического доказательства теорем (корпорации AdaCore Alex_Odeychuk)
interactive theorem prover	интерактивный доказатель теорем (Alex_Odeychuk)
interactive theorem proving	интерактивное доказательство теорем (Alex_Odeychuk)
interactive translation suggestions	варианты перевода, предлагаемые в интерактивном режиме (Alex_Odeychuk)
technology for interactive MT	система интерактивного машинного перевода (Alex_Odeychuk)