Fortell venner om denne varen:
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues Andrei Voronkov 2008 edition
Pris
NOK 569
Bestillingsvarer
Forventes levert 30. des - 7. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues
Andrei Voronkov
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.
457 pages, 1, black & white illustrations
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 4. juli 2008 |
| ISBN13 | 9783540705888 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 457 |
| Mål | 155 × 235 × 24 mm · 703 g |
| Språk | Fransk |
| Redaktør | Voronkov, Andrei |
![Cover for Andrei Voronkov · Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Lecture Notes in Computer Science (Pocketbok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/227/9783662468227.jpg?andrei-voronkov-2015-perspectives-of-system-informatics-9th-international-ershov-informatics-conference-psi-2014-st-petersburg-russia-june-24-27-2014-revised-selected-papers-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1573875263)
![Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/504/9783642376504.jpg?andrei-voronkov-2013-programming-logics-essays-in-memory-of-harald-ganzinger-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1483819467)
![Cover for Andrei Voronkov · Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings - Lecture Notes in Artificial Intelligence (Pocketbok) [1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/608/9783540554608.jpg?andrei-voronkov-1992-logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-lecture-notes-in-artificial-intell&class=scaled&v=1573875266)