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

Программная система для автоматического доказательства теорем в исчислении позитивно-образованных формул

Авторы: Ларионов А.А., Черкашин Е.А., Давыдов А.В.

Журнал: Материалы IV Всерос. конф. "Винеровские чтения" (Иркутск – Байкал, 9–14 марта 2011 г.)

Том: 2

Номер:

Год: 2011

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

Издательство: ГОУ ВПО ИрГТУ

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

URL:

Аннотация:

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

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

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

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

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