Conditional and Typed Rewriting Systems Naomi Lindenstrauss
53,49 €
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, 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 Graphersetzungen HIgher-Order Rewriting Höherstufiges Ersetzen Termersetzung Typed Rewriting Variable calculus complexity graph rewriting rewriting systems term rewriting.
Jetzt bei Ebay:
