Rewriting Techniques and Applications Leo Bachmair
53,49 €
Titel: Rewriting Techniques and Applications, Untertitel: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings, Einband: Taschenbuch, Autor: Leo Bachmair, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 292, Maße: 235x155x16 mm, Gewicht: 446 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Algebraic Program Manipulation Compiler HIgher-Order Rewriting Logic Calculi Resolution Rewriting Logic automata formal reasoning lambda calculus logic program semantics programming logic rewriting systems term rewriting.
Jetzt bei Ebay:
