Страница публикации
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
Добавил в систему: