Fortell venner om denne varen:
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science Tobias Nipkow
Pris
Íkr 7.049
Bestillingsvarer
Forventes levert 10. - 18. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science
Tobias Nipkow
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 11. mars 1998 |
| ISBN13 | 9783540643012 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 346 |
| Mål | 156 × 234 × 18 mm · 503 g |
| Språk | Tysk |
| Redaktør | Nipkow, Tobias |
![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Pocketbok) [Softcover reprint of the original 1st ed. 2014 edition] (2016)](https://imusic.b-cdn.net/images/item/original/591/9783319357591.jpg?tobias-nipkow-2016-concrete-semantics-with-isabelle-hol-pocketbok&class=scaled&v=1512057389)
![Cover for Tobias Nipkow · Concrete Semantics: With Isabelle / HOL (Innbunden bok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/413/9783319105413.jpg?tobias-nipkow-2014-concrete-semantics-with-isabelle-hol-innbunden-bok&class=scaled&v=1418535428)
![Cover for Tobias Nipkow · Isabelle / HOL: A Proof Assistant for Higher-Order Logic - Lecture Notes in Computer Science (Pocketbok) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/767/9783540433767.jpg?tobias-nipkow-2002-isabelle-hol-a-proof-assistant-for-higher-order-logic-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1550702847)
