电子书百科大全 Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 264 pages
Publisher: Springer (May 20, 2013)
Language: English
ISBN-10: 3642389457
未经允许不得转载：电子书百科大全 » Typed Lambda Calculi and Applications: 11th