Страница публикации
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
Добавил в систему: