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

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

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

Журнал: Материалы конф. «Ляпуновские чтения» (Иркутск, 21-23 ноября 2016г.)

Том:

Номер:

Год: 2016

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

Издательство: ИДСТУ СО РАН

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

URL:

Аннотация:

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

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

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

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

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