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