Rewriting Techniques and Applications Sophie Tison
85,59 €
Titel: Rewriting Techniques and Applications, Untertitel: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Einband: Taschenbuch, Autor: Sophie Tison, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 404, Maße: 235x155x22 mm, Gewicht: 610 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Derivation Exception LA Termination ants automated deduction calculus explicite substitutions formal methods verfification logic model checking program calculi proving rewriting systems term rewriting.
Jetzt bei Ebay:
