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

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

Тип публикации: Авторское свидетельство

Тип материала: Текст

Авторы: Ларионов А.А.

Язык публикации: russian

Номер: 2019667624

Год публикации: 2019

Дата публикации: 25.12.2019

Отчетный год: 2019

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

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет