Страница публикации
Метод трансляции формул исчисления предикатов первого порядка в позитивно-образованные формулы
Авторы: Давыдов А.В., Ларионов А.А., Черкашин Е.А.
Журнал: Материалы конф. «Ляпуновские чтения» (Иркутск, 21-23 ноября 2016г.)
Том:
Номер:
Год: 2016
Отчётный год: 2016
Издательство: ИДСТУ СО РАН
Местоположение издательства: Иркутск
URL:
Аннотация:
Индексируется WOS: 0
Индексируется Scopus: 0
Индексируется РИНЦ: 0
Публикация в печати: 0
Добавил в систему: