📖 Алгоритмические проблемы алгебры, биоинформатики и робототехники VI. Проблема равенства, выводимость и выполнимость тождеств и квазитождеств.
Книга "Проблема равенства, выводимость и выполнимость тождеств и квазитождеств" является шестой в серии под общим названием "Алгоритмические проблемы алгебры, биоинформатики и робототехники". В книге представлены результаты по алгоритмическим вопросам, связанным с разрешимостью и вычислительной сложностью проблемы равенства, разрешимостью проблемы распознавания конечной базируемости, а также проблем выводимости и выполнимости тождеств и квазитождеств.
О книге
автор, издательство, серия- Издательство
- Palmarium Academic Publishing
- ISBN
- 978-3-847-39687-1
- Год
- 2012