Rewriting Techniques and Applications Hubert Comon
74,89 €
Titel: Rewriting Techniques and Applications, Untertitel: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings, Einband: Taschenbuch, Autor: Hubert Comon, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 360, Maße: 235x155x20 mm, Gewicht: 546 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Programmiersprachen Automatisches Schließen Constraint-Auflösung Monoid String Rewriting Stringersetzung Termersetzung Theorem-Beweisen algorithm algorithms automated deduction constraint solving programming programming language term rewriting theorem proving.
Jetzt bei Ebay:
