预订 Theorem Proving in Higher Order Logics: 18th Internationa 【全球购】进口原版图书,约3-6周到达国内后发出
¥479.00
书之源外文图书
Hurd,Joe;Melham,Tom /2005-08-08 /Springer
加入购物车收藏