Twenty-five years of constructive type theory. Proceedings
Get this book Contact Email: girro@qq.com
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
Author: Giovanni Sambin, Jan M. Smith,
Publisher: Oxford University Press, USA (1998)
Pages: 291
ISBN: 0198501277,9780198501275,
Language: English
Loose Space: Possibility and Diversity in Urban LifeArtificial Intelligence and Architecture: From Research to Practice. 2nd Edition, Updated and ExpandedArchitecture and the Paradox of DissidenceADUs: The Perfect Housing SolutionDesign Drawing 3rd EditionDemolition: Practices, Technology, and ManagementA Better Way to Build: A History of the Pankow CompaniesBuilding Construction Methods and Systems: Principles, Requirements and Application Details
电子书百科大全
评论前必须登录！
立即登录 注册