Term Rewriting and All That
Germany) Aachen Franz (Rheinisch-Westfalische Technische Hochschule Baader,
Tobias (Technische Universitat Munchen) Nipkow
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
This is a unified and self-contained introduction to term rewriting
that can be used for advanced undergraduate courses or as a
professional reference. The main algorithms are presented both
informally and as ML programs. Many examples and over 170 exercises
are provided.
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge University Press
Naše tipy
