mechanizing mathematical reasoning
... Multi-Agent Systems and Applications IV 多代理系统与应用 IV/会议录 Embedded and Ubiquitous Computing - EUC 2005 Workshops 嵌入与普适计算/会议录 Mechanizing Mathematical Reasoning 机械化数学推理 ...
基于1个网页-相关网页
mechanizing mathematical reasoning
机械化数学推理
以上为机器翻译结果，长、整句建议使用 人工翻译 。