![]() |
formal proof | |
law | доказывание с помощью формальных доказательств; установление факта формальными доказательствами |
ling. | формально-логическое доказательство |
tool | |
gen. | инструмент; станок; резец; рабочий ручной инструмент; орудие; снаряд |
| |||
доказывание с помощью формальных доказательств; установление факта формальными доказательствами | |||
формально-логическое доказательство | |||
формальное доказательство |
formal proof: 13 phrases in 3 subjects |
Information technology | 1 |
Programming | 4 |
Software | 8 |