Rewriting Techniques and Applications Robert Nieuwenhuis
53,49 €
Titel: Rewriting Techniques and Applications, Untertitel: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, Einband: Taschenbuch, Autor: Robert Nieuwenhuis, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 532, Maße: 235x155x29 mm, Gewicht: 797 g, Verkäufer: buch-mimpf, Schlagworte: Formalismus Informatik Derivation Semantics XML algorithms automata automated deduction logic modeling program calculi reduction rewriting substitutions term rewriting type inference unification.
Jetzt bei Ebay:
