Rewriting Techniques and Applications Jieh Hsiang
96,29 €
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, Sprache: Englisch, Seiten: 492, Maße: 235x155x27 mm, Gewicht: 739 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Allgemeines E-Unifikation Ersetzung höherer Ordnung Ersetzungssysteme Resolution algorithm algorithms Automatische Deduktion calculus HIgher-Order Rewriting lambda calculus logic proving rewrite systems Semantics term rewriting.
Jetzt bei Ebay:
