https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Программа для работы с SBDD- и MTBDD-графами. Исследование их практического использования https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000563651 Tue 28 Feb 2017 09:56:56 KRAT ]]>