Russian | German |
в справочных целях | zu Informationszwecken (Nilov) |
вывод "от цели к фактам" | Rückwärtsverkettung (метод автоматического доказательства теорем) |
информационная цель | Informationszweck (Nilov) |
контроль с целью защиты | Schutzprüfung (напр., данных от искажений) |