Logic for Programming, Artificial Intelligence, and Reasonin
¥676.20
Franz Baader 著 /2005-08-01 /北京燕山出版社
收藏
Automated Deduction in Geometry几何学的自动演绎/会议录
¥377.90
Franz Winkler 著 /2004-03-01 /北京燕山出版社