Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - keskiviikko 11. maaliskuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

Hinta
Íkr 7.753,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 10. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 11. maaliskuuta 1998
ISBN13 9783540643012
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 346
Mitta 156 × 234 × 18 mm   ·   503 g
Kieli Saksa  
Toimittaja Nipkow, Tobias
Näytä kaikki

Lisää tuotteita Tobias Nipkow

Katso kaikki joka sisältää Tobias Nipkow ( Esim. Paperback Book Ja Hardcover Book )