Beschreibung
New advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists and advanced graduates working in field of computational logic programming.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































