Рекомендует к публикации статью аспиранта НГУ Син Мен Де "Логико-термально эквивалентные преобразования схем программ".
