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

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

Том:

Номер:

Год: 2016

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

Публикация в печати: 0