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

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:

Аннотация:

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

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

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

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

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