在线查询网-手机版
在线查询网
图书大全
Mechanizing Mathematical Reasoning 机械化数学推理
Mechanizing Mathematical Reasoning 机械化数学推理
请输入要查询的图书:
查询
可以输入图书全称,关键词或ISBN号
Mechanizing Mathematical Reasoning 机械化数学推理
ISBN: 9783540250517
出版年: 2005-4
页数: 563
定价: 734.50元
关键词:
Mechanizing
Mathematical
Reasoning
机械化
数学
推理