Что думают наши авторы о нас?
"Особые слова искренней благодарности адресую Индре Бондаренко и Катерине Нечипуренко за замечательную работу: профессионализм, оперативность и внимание к автору." С уважением, доктор филологических наук, профессор РУДН (Москва) Чеснокова Ольга Станиславовна
Алгоритмические проблемы алгебры, биоинформатики и робототехники VI
Проблема равенства, выводимость и выполнимость тождеств и квазитождеств
Palmarium Academic Publishing ( 16.07.2012 )
€ 79,00
Книга "Проблема равенства, выводимость и выполнимость тождеств и квазитождеств" является шестой в серии под общим названием "Алгоритмические проблемы алгебры, биоинформатики и робототехники". В книге представлены результаты по алгоритмическим вопросам, связанным с разрешимостью и вычислительной сложностью проблемы равенства, разрешимостью проблемы распознавания конечной базируемости, а также проблем выводимости и выполнимости тождеств и квазитождеств.
Детали книги: |
|
|
ISBN-13: |
978-3-8473-9687-1 |
|
ISBN-10: |
3847396870 |
|
EAN: |
9783847396871 |
|
Язык книги: |
Russian |
|
By (author) : |
Владимир Попов |
|
Количество страниц: |
364 |
|
Опубликовано: |
16.07.2012 |
|
Категория: |
Математика |