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