搜索:mechanical intelligence

Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of

种子下载[快] 直链下载[慢] 在线试读 购买云解压

文件大小:298MB 标注页数:565页 文件页数:577页

MD5:1879a613b1c017db439422d8ed5063f2

ISBN:3540250514

出版社:Springer-Verlag

作者:

出版时间:2005