Computation and Reasoning A Type Theory for Computer SciencePDF电子书下载
- 电子书积分：10 积分如何计算积分？
- 作 者：
- 出 版 社：Oxford University Press Inc.
- 出版年份：1994
- ISBN：0198538359
- 页数：228 页
图书介绍：
《Computation and Reasoning A Type Theory for Computer Science》目录
标签：
相关图书
作者其它书籍
出版社其它书籍
- 《DEUTSCHE SPRACHLEHRE FUR AUSLANDER GRUNDSTUFE IN EINEM BAND》KAN YEE-LIM 简而廉译
- 《THE CASE-STUDY METHOD IN PSYCHOLOGY AND RELATED DISCIPLINES》 1986
- 《细节中的新中国史=THE HISTORY OF THE PEOPLES REPUBLIC OF CHINA IN DETAILS》张神根 2020
- 《恋爱中的海明威=HEMINGWAY IN LOVE HIS OWN STONY》（美）A.E.霍奇纳著 2019
- 《英格兰的意大利文艺复兴=THE ITALIAN RENAISSANCE IN ENGLAND》（美）刘易斯·爱因斯坦著 2019
- 《R语言机器学习 原书第2版＝MACHINE LEARNING USING R WITH TIME SERIES AND INDUSTRY-BASED USE CASES IN R》SECOND EDITION
- 《广义政治经济学：资本主义以前的社会生产方式=POLITICAL ECONOMY IN BROAD SENSE:SOCIAL PRODUCTION MODE BEFORE CAPITAL》姚开建著 2019
- 《彩色铅笔的神奇创意画：15周年珍藏版=Creating Textures in Colored Pencil》（美）加里·格林著 2018
- 《计算机视觉中的多视图几何 原书第2版＝MULTIPLE VIEW GEOMETRY IN COMPUTER VISION SECOND EDITION》（澳）理查德·哈特利 2020
- 《机器学习实战 基于SOPHON平台的机器学习理论与实践＝MACHINE LEARNING IN ACTION PRINCIPLES AND PRACTICE BASED ON TH》星环科技人工智能平台团队编著 2020