Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Rewriting Techniques and Applications Jieh Hsiang

Ø 0.0
0 Bewertungen
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: