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

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:

Аннотация:

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

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

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

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

Добавил в систему: