简化技巧
_
simplification technique (程序验证中的)
пословный:
简化 | 技巧 | ||
упрощать; упрощение; упрощённый
|
1) техника, искусство, мастерство, навык; искусный; опытный
2) хитрый, изобретательный; ловкий
3) стар. фехтование, военное искусство; бокс
|