-
1 программа вывода
n1) comput. Ausgangsprogramm, (получения) Gewinnungsprogramm2) milit. Einlenkprogramm (на орбиту)3) electr. Ausgabeprogramm4) IT. (логического) Ableitungsprogramm, (стандартная) Ausgaberoutine, (стандартная) Ausgangsroutine (ñì. Ausgangsprogramm) -
2 программа доказательства
nIT. Ableitungsprogramm (теоремы), Beweisprogramm (напр. теоремы)Универсальный русско-немецкий словарь > программа доказательства