Страница публикации
Конструктивный подход к проверке истинности квантифицированных булевых формул в решателе Hpc2qall
Авторы: Опарин Г.А., Богданова В.Г., Горский С.А.
Журнал: Информационные и математические технологии в науке и управлении
Том:
Номер: 3 (15)
Год: 2019
Отчётный год: 2019
Издательство:
Местоположение издательства:
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 1
Публикация в печати: 0
Добавил в систему: