Rewriting Techniques and Applications
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.
CHF 133.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-3-540-44881-5
- EAN: 9783540448815
- Produktnummer: 37296465
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 518 S.
- Plattform: PDF
- Auflage: 2003
- Reihenbandnummer: 2706
5 weitere Werke von Robert (Hrsg.) Nieuwenhuis:
Automated Deduction - CADE-20
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
Ebook (PDF Format)
CHF 120.00
Bewertungen
Anmelden