Rewriting Techniques and Applications Aart Middeldorp
53,49 €
Titel: Rewriting Techniques and Applications, Untertitel: 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings, Einband: Taschenbuch, Autor: Aart Middeldorp, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 380, Maße: 235x155x21 mm, Gewicht: 575 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Beta Termination Variable algorithm algorithms automata automated deduction complexity explicite substitution formal methods reduction rewriting term rewriting theorem proving unification.
Jetzt bei Ebay:
