Rewriting Techniques and Applications Jieh Hsiang
53,49 €
Titel: Rewriting Techniques and Applications, Untertitel: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings, Einband: Taschenbuch, Autor: Jieh Hsiang, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 492, Maße: 235x155x27 mm, Gewicht: 739 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Allgemeines Automatische Deduktion E-Unifikation Ersetzung höherer Ordnung Ersetzungssysteme HIgher-Order Rewriting Resolution Semantics algorithm algorithms calculus lambda calculus logic proving rewrite systems term rewriting.
Jetzt bei Ebay:
