Поиск
На сайте: 567989 статей, 285490 фото.

Advanced Topics in Term Rewriting (книга)

Advanced Topics in Term Rewriting
Автор: Enno Ohlebusch
Оригинал издан: ????

«Advanced Topics in Term Rewriting»книга ???? года.

Содержание

Содержание

От издателя

«Term rewriting techniques are applicable to various fields of computer science, including software engineering, programming languages, computer algebra, program verification, automated theorem proving and Boolean algebra. These powerful techniques…»

Рецензии

См. также

Ссылки