| EAN: | 9783540368342 |
|---|---|
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 436 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Pfenning, Frank |
| Veröffentlichungsdatum: | 26.07.2006 |
| Untertitel: | 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings |
| Schlagworte: | EDV / Theorie / Informatik / Allgemeines EDV / Theorie / Programmieren / Allgemeines |
53,49 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006 Presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference Topics include constraints and optimization, equational reasoning, system verification, lambda calculus, theorem proving, and more