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

Метод трансляции первопорядковых логических формул в позитивно-образованные формулы

Авторы: Давыдов А.В., Ларионов А.А., Черкашин Е.А.

Журнал: Программные продукты и системы

Том: 32

Номер: 4

Год: 2019

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

Издательство:

Местоположение издательства:

URL:

Аннотация:

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

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

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

Публикация в печати: 0

Добавил в систему: