Conditional and Typed Rewriting Systems Naomi Lindenstrauss
85,59 €
Titel: Conditional and Typed Rewriting Systems, Untertitel: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings, Einband: Taschenbuch, Autor: Naomi Lindenstrauss, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 392, Maße: 235x155x22 mm, Gewicht: 593 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Ersetzungssysteme Getyptes Ersetzen graph rewriting Graphersetzungen HIgher-Order Rewriting Höherstufiges Ersetzen term rewriting Termersetzung Variable calculus complexity.
Jetzt bei Ebay:
