 |
| Russian | English |
| агент поддержки интерактивного программирования | conversational programming agent (a conversational programming agent will tell: Is this condition true right now? Would this rule fire? Why does that rule fail? and more in a non-intrusive kind of way Alex_Odeychuk) |
| варианты перевода, предлагаемые в интерактивном режиме | interactive translation suggestions (Alex_Odeychuk) |
| интерактивная система автоматического доказательства теорем | interactive proof checker (корпорации AdaCore Alex_Odeychuk) |
| интерактивное доказательство теорем | ITP (сокр. от "interactive theorem proving" Alex_Odeychuk) |
| интерактивное доказательство теорем | interactive theorem proving (Alex_Odeychuk) |
| интерактивное машинное обучение | interactive machine learning (Alex_Odeychuk) |
| интерактивный доказатель теорем | interactive theorem prover (Alex_Odeychuk) |
| интерактивный машинный перевод | interactive MT (Alex_Odeychuk) |
| система интерактивного машинного перевода | technology for interactive MT (Alex_Odeychuk) |