Term Rewriting and Applications Jürgen Giesl
106,99 €
Titel: Term Rewriting and Applications, Untertitel: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, Einband: Taschenbuch, Autor: Jürgen Giesl, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 536, Maße: 235x155x29 mm, Gewicht: 803 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines EDV / Theorie / Programmieren / Allgemeines Higher Order Rewriting Logic Programming Semantics Termination automata automated deduction lambda calculus programming calculi proving rewriting rewriting systems term rewriting type inference unification verification.
Jetzt bei Ebay:
