- checking by resubstitution
- мат. проверка повторной подстановкой
Большой англо-русский и русско-английский словарь. 2001.
checking by resubstitution
Смотреть что такое "checking by resubstitution" в других словарях:
And-inverter graph — An and inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two input nodes representing logical conjunction, terminal nodes labeled … Wikipedia
