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

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:

Аннотация:

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

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

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

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

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