Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Procceedings of 31th International Symposium of Multiple-Valued Logic (Poland, Warsaw, May 22 -- 24, 2001 y.)
сборник
Год издания:
2001
Место издания:
IEEE Computer Society Washington, Brussels, Tokyo
Добавил в систему:
Селезнева Светлана Николаевна
Статьи, опубликованные в сборнике
2001
Polynomial-Time Algorithms for Verification of Some Properties of k-valued Functions Represented by Polynomials
Selezneva S.N.
в сборнике
Procceedings of 31th International Symposium of Multiple-Valued Logic (Poland, Warsaw, May 22 -- 24, 2001 y.)
, место издания
IEEE Computer Society Washington, Brussels, Tokyo
, с. 233-238
DOI