Страница публикации
Реализация высокопроизводительной системы автоматического доказательства теорем для метода позитивно-образованных формул
Авторы: Ларионов А.А.
Журнал: Тр. Междунар. конф. “Облачные вычисления. Образование. Исследования. Разработки” (Москва, 15–16 апреля 2010 г.)
Том:
Номер:
Год: 2010
Отчётный год: 2010
Издательство:
Местоположение издательства: Москва
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: