Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
51,40 €
Springer
Sivumäärä: 276 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 22.06.2007 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 4600
Sivumäärä: 276 sivua
Asu: Pehmeäkantinen kirja
Painos: 2007 ed.
Julkaisuvuosi: 2007, 22.06.2007 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 4600
He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories.
Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 30.11.2025
Näytä kaikki tuotetiedot
ISBN:
9783540731467
Aihealue: