Страница публикации

Software for Automated Theorem Proving Based on the Calculus of Positively Constructed Formulas

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Bychkov I., Cherkashin E., Davydov A., Larionov A.A.

Журнал: IEEE Conference on Industrial Electronics and Applications

Язык публикации: english

Номера страниц: 940-945

Количество страниц: 6

Год публикации: 2016

Отчетный год: 2016

Издательство: PEOPLES R CHINA

Местоположение издательства: Hefei

Адрес издателя: Hefei

Название издательства: PEOPLES R CHINA

Индексируется WOS: Q5

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет