Rewriting and Typed Lambda Calculi

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Rewriting and Typed Lambda Calculi : 9783319089188, 3319089188 および 印刷版のISBNは 9783319089171, 331908917X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Rewriting and Typed Lambda Calculi : 9783319089188, 3319089188 および 印刷版のISBNは 9783319089171, 331908917X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。