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

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 г.)

Язык публикации: english

Номера страниц: 965-968

Количество страниц: 4

Год публикации: 2011

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

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

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

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

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

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

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