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

Efficient Reasoning for Inconsistent Horn Formulae

Тип публикации: Статья в журнале

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

Авторы: Marques-Silva J., Ignatiev A., Mencía C., Penaloza R.

Журнал: Lecture Notes in Computer Science

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

Том: 10021

Номера страниц: 336-352

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

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

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

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

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

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

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

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

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