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

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

Том: 45

Номер: 7

Год: 2011

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

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

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

URL:

Проекты:

DOI:

Аннотация:

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

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

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

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

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

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

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