Enlarge image Witaj Nieznajomy, zaloguj się
Conditional and Typed Rewriting Systems
Stephane Kaplan
okładka miękka
327,50 zł
Sprowadzamy na zamówienie
Opis produktu
Conditional and Typed Rewriting Systems - Stephane Kaplan
This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.
Szczegóły
Conditional and Typed Rewriting Systems
sierpień 1991
Springer-Verlag GmbH
484
3540543171
9783540543176
235 x 155 x 25
Stephane Kaplan
sierpień 1991
Springer-Verlag GmbH
484
3540543171
9783540543176
235 x 155 x 25
