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

Эвристическая стратегия алгоритма унификации предиката line

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

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

Авторы: Федоров Р.К.

Журнал: Тр. XVIII Байкальской всерос. конф. "Информ. и матем. технологии в науке и управлении"

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

Том: III

Номера страниц: 91-94

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

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

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

Издательство: ИСЭМ СО РАН

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

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

Название издательства: ИСЭМ СО РАН

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

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

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

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

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

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