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

Theorem Proving Software, Based on Method of Positively-Constructed Formulae

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

Журнал: Proc. 34th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2011, Opatija, 23-27 мая 2011 г.)

Том:

Номер:

Год: 2011

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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