Алгоритмические проблемы алгебры, биоинформатики и робототехники VI
Цена 110.00 - 112.50 USD
EAN/UPC/ISBN Code
9783847396871
Автор
Владимир Попов
Издатель
Palmarium Academic Publishing
Страниц
364
Год выпуска
2012
Книга "Проблема равенства, выводимость и выполнимость тождеств и квазитождеств" является шестой в серии под общим названием "Алгоритмические проблемы алгебры, биоинформатики и робототехники". В книге представлены результаты по алгоритмическим вопросам, связанным с разрешимостью и вычислительной сложностью проблемы равенства, разрешимостью проблемы распознавания конечной базируемости, а также проблем выводимости и выполнимости тождеств и квазитождеств.