形式证明
_
formal proof, formal verification
formal proof; formal verification
пословный:
形式 | 证明 | ||
форма; внешний вид, внешность, облик, фигура; тип, вид; формальный; модальность
|
1) свидетельствовать, доказывать, удостоверять; свидетельствующий, удостоверяющий
2) быть надлежаще засвидетельствованным (удостоверенным); доказанный, удостоверенный
3) свидетельство, доказательство
|