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

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

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

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

Авторы: Давыдов А.В.

Журнал: Материалы XI Всерос. конф. молодых ученых “Матем. моделирование и информ. технологии” (Иркутск–Байкал, 15–21 марта 2010 г.)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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