Rewriting and Typed Lambda Calculi

Name: Rewriting and Typed Lambda Calculi
Brand: Springer International Publishing AG

Stabilní cena

Cenu sledujeme od 20. 7. 2026 a zatím se drží na 1 322 Kč.

1 322 Kč

Springer International Publishing AG

Celý popis

Do obchodu

O produktu

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

Tip: Podívejte se také na další produkty z kategorie Počítačová věda.