Explore projects

Проверить может ли робот выполнить заложенную в него программу

VilkovaDV_Autumn2016_HW1

Тестирование схем Кардо пяти переменных

Static and dynamic activity bounds for boolean functions with small number of variables.

Первое домашнее задание