Theorem Proving in Higher Order Logics(高阶逻辑定理证明/会议录)
¥477.30
Konrad Slind,Annette Bunker,Ganesh C. Gopalakrishnan 著 /2004-10-01 /北京燕山出版社
收藏