Vinkkaa tuotetta kavereillesi:
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues 2006 edition
Frank Pfenning
Hinta
€ 66,49
Tilattu etävarastosta
Arvioitu toimitus ti - pe 18. - 28. kesä
Lisää iMusic-toivelistallesi
Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues 2006 edition
Frank Pfenning
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference.
418 pages, biography
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | keskiviikko 26. heinäkuuta 2006 |
| ISBN13 | 9783540368342 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 418 |
| Mitta | 155 × 235 × 22 mm · 630 g |
| Kieli | German |
| Toimittaja | Pfenning, Frank |
Näytä kaikki
Lisää tuotteita Frank Pfenning
![Cover for Frank Pfenning · Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture N (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/748/9783642370748.jpg?frank-pfenning-2013-foundations-of-software-science-and-computation-structures-16th-international-conference-fossacs-2013-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2013-rome-italy-march-16-24-2013-proceedings-l&class=scaled&v=1605384729)
![Cover for Frank Pfenning · Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/946/9783540735946.jpg?frank-pfenning-2007-automated-deduction-cade-21-21st-international-conference-on-automated-deduction-bremen-germany-july-17-20-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1441021331)
Katso kaikki joka sisältää Frank Pfenning ( Esim. Paperback Book )