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

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

Тип публикации: Материал конференции

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

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

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

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

Номера страниц: 30

Количество страниц: 1

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

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

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

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

Адрес издателя: Иркутск

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

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

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

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

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

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

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