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