Языки
English
Русский
Navigation
Главная
О журнале
Публикационная этика
Статьи
Требования к статьям
Авторы
Архив журнала
Контакты
Чеботарев А. Н.
Журнал:
ТВИМ 2006 №1
Усовершенствованный метод проверки выполнимости множества дизъюнктов в языке L.