Term Rewriting and All That Baader, Franz / Franz, Baader / Nipkow, Tobias Unified and self-contained introduction to term-rewriting, suited for students or professionals. CHF 82.00 In Warenkorb legen