交互式 Par International Proving Conference 2014 Itp Held 海外直订Interactive 定理证明：第五届国际 Theorem 5th
券后¥553
最近售0件
Tphols 高阶逻辑中 Order Logics International 14th Conference 海外直订Theorem 定理证明：第14 Proving Higher
券后¥553
最近售0件
Logics Order Higher 定理证明 高阶逻辑中 Proving 海外直订Theorem
券后¥553
最近售0件
4
Tphols 高阶逻辑中 Order Logics International 10th Conference 海外直订Theorem 定理证明：第十 Proving Higher
50元
券后¥553¥553.00
5
International 用分析表法证明定理 Tableaux with and Methods Related 5th 海外直订Theorem 1996年 Proving Analytic
50元
券后¥553¥553.00
6
TPHOLs 高阶逻辑中 Order Logics International 20th Conference 海外直订Theorem 定理证明：第20 Proving Higher
50元
券后¥553¥553.00
7
Higher International 高阶逻辑定理 Order Conference Tphols 海外直订Theorem Logics 11th 第11届 Proving 证明
50元
券后¥553¥553.00
8
海外直订Higher Applications Logic Theorem International 高阶逻辑定理证明及其应用： Works Its 8th Order and Proving
50元
券后¥553¥553.00
9
Higher International 高阶逻辑中 Order Conference Tphols 海外直订Theorem Logics 15th 第15 Proving 定理证明
50元
券后¥553¥553.00
10
Higher International 高阶逻辑中 Order Conference Tphols 海外直订Theorem Logics 16th 第16 Proving 定理证明
50元
券后¥553¥553.00
11
海外直订Theorem Methods with Analytic International 用解析表和相关方法证明定理 Related 4th Proving and Tableaux
50元
券后¥553¥553.00
12
Tphols 高阶逻辑中 Order Logics International 17th Conference 海外直订Theorem 定理证明：第17 Proving Higher
50元
券后¥553¥553.00
13
海外直订Proof 19th Proving Study 证明与证明：第19次ICMI研究 数学教育中 The ICMI and Education Mathematics
50元
券后¥553¥553.00
14
海外直订Higher Applications Logic Theorem International 高阶逻辑定理证明及其应用： Works Its 6th Order and Proving
50元
券后¥553¥553.00
15
海外直订Higher Applications Logic Theorem International 高阶逻辑定理证明及其应用： Works Its 7th Order and Proving
50元
券后¥553¥553.00
16
Tphols 高阶逻辑定理证明 Order Logics International 12th Conference 海外直订Theorem 第十二届 Proving Higher
50元
券后¥553¥553.00
17
从逻辑设计到逻辑编程 Functio Programming Design Theorem Techniques Proving and 海外直订From 定理 Logic
50元
券后¥553¥553.00
18
and Theory Proving 海外直订Automated 自动定理证明：理论与实践 Theorem Practice
100元
券后¥1154¥1154.00
19
Engineering Software Proving 自动证明 软件工程中定理 Theorem 海外直订Automated
50元
券后¥594¥594.00
20
Engineering Software Proving 自动证明 软件工程中定理 Theorem 海外直订Automated
50元
券后¥594¥594.00
21
Proving Automated and 硬件验证和自动定理证明 Theorem 当前趋势 海外直订Current Trends Hardware Verification
100元
券后¥1193¥1193.00
22
Real the with 海外直订Theorem 用实数证明定理 Proving Numbers
100元
券后¥1193¥1193.00
23
海外直订System the Satisfies Solution Requirements Proving Design 系统验证：证明设计方案满足要求 Verification
100元
券后¥1201¥1201.00
24
Ground 1918 Maryland Ordnance Big Department Aberdeen U.S.A. Proving 预订 9781013550874 The Gun
20元
券后¥241¥241.00
25
Theorem Automated Via Templates 利用自动定理证明生成测试模板 Proving Test 海外直订Generating
50元
券后¥618¥618.00
26
tetras and comprehensive caring your raising Neon Handbook tips proving TETRA health for NEON handbook 预订
10元
券后¥124¥124.00
27
Fraud 9781449085278 Election 按需印刷Proving
25元
券后¥314¥314.00
28
海外直订Interactive 2011 Proving Second 定理证明：第二届国际 交互式 ITP Berg Theorem Conference International
50元
券后¥639¥639.00
29
Proving 未来能源系统 利用交互定理证明 Energy Systems Interactive Using Theorem 海外直订Formal Analysis Future
50元
券后¥647¥647.00
30
9780557012619 Shakespeare 按需印刷Proving
40元
券后¥522¥522.00
31
Making Darwin Proving Mathematical 预售 Biology
10元
券后¥131¥131.00
32
Turns 随着世界 Proving 转动 The Earth Rotates 海外直订As History World 历史 the 证明地球转动
50元
券后¥662¥662.00