Mechanizing Mathematical Reasoning 机械化数学推理

ISBN: 9783540250517

出版年: 2005-4

页数: 563

定价: 734.50元