类型论
商品筛选
-
37.2237.22
低价
【新华文轩】现代类型论的发展与应用 (英)罗朝晖 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
新华书店正版 编程语言 文轩网
-
47.650.32
折扣
【官方正版新书】现代类型论的发展与应用 [英]罗朝晖 清华大学出版社 现代类型论、自然语言、语义学
天猫月销量0+
-
427537
-30元
英文原版 Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
天猫月销量0+
-
8331028
-10元
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
天猫月销量0+
-
8331028
-10元
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫月销量0+
-
10201250
-30元
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论:以证真理
天猫月销量0+
-
15201860
-40元
海外直订A Modern Perspective on Type Theory: From Its Origins Until Today 类型论的现代视角:从它的起源到今天
天猫月销量0+
-
8431028
-35元
类型论和形式证明 英文原版 Type Theory and Formal Proof Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫月销量0+
-
8431028
-35元
Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装
天猫月销量0+
-
8431028
-35元
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫月销量0+
-
8431028
-35元
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫月销量0+
-
8431028
-35元
英文原版 Type Theory and Formal Proof 类型论和形式证明 Rob Nederpelt 精装 英文版 进口英语原版书籍
天猫月销量0+
-
829999
-20元
海外直订An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof 数理逻辑与类型论导论:通过证明来认
天猫月销量0+
-
447537
-10元
Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列
天猫月销量0+
-
102122
-20元
类型论 英文原版 Type Talk 决定我们如何生活 爱和工作的16种性格类型 心理学 Otto Kroeger 英文版 进口英语原版书籍
天猫月销量0+
-
102122
-20元
Type Talk 类型论:决定我们如何生活、爱和工作的16种性格类型 心理学 Otto Kroeger进口原版英文书籍
天猫月销量0+
-
102122
-20元
类型论决定我们如何生活英文版
天猫月销量0+
-
641761
-20元
海外直订Type Theory and Formal Proof: An Introduction 类型论与形式证明
天猫月销量0+
-
67.179
-11.9元
儿童早期照顾需求研究:以社会需求类型论为视角9787522704050陈偲著 中国社会科学出版社 社直营
天猫月销量0+
-
52.352.3
低价
官方类型论清华大学出版社
天猫月销量0+
-
52.352.3
低价
现代类型论的发展与应用 [英]罗朝晖 清华大学出版社9787302660354
天猫月销量0+
-
457537
-30元
Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列进口原版英文书籍
天猫月销量0+
-
457537
-30元
Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列
天猫月销量0+
-
457537
-30元
英文原版 Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
天猫月销量0+
-
457537
-30元
英文原版 Basic Simple Type Theory 类型论入门 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
天猫月销量0+
-
457537
-30元
类型论入门 英文原版 Basic Simple Type Theory 剑桥理论计算机科学丛书系列 英文版 进口英语原版书籍
天猫月销量0+
-
102122
-15元
英文原版 Type Talk 类型论 决定我们如何生活 爱和工作的16种性格类型 心理学 Otto Kroeger 英文版 进口英语原版书籍
天猫月销量0+
-
112122
-10元
英文原版 Type Talk 类型论 决定我们如何生活 爱和工作的16种性格类型 心理学 Otto Kroeger 英文版 进口英语原版书籍
天猫月销量0+
-
112122
-10元
英文原版 Type Talk 类型论 决定我们如何生活 爱和工作的16种性格类型 心理学 Otto Kroeger 英文版 进口英语原版书籍
天猫月销量0+
-
43.3555.3
-3.26元
儿童早期照顾需求研究(以社会需求类型论为视角)/社会风险与社会建设丛书 博库网
天猫月销量0+