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

On the calculus of positively constructed formulas for automated theorem proving

Тип публикации: Статья в журнале

Тип материала: Текст

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

Журнал: Automatic Control and Computer Sciences

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

Том: 45

Номера страниц: 402–407

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

Номер: 7

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

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

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

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

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

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

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

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