海外直订Rewriting Techniques and Applications: 14th Internationa
¥553.00
3-6周达 Rewriting Techniques and Applications: 14th Internatio 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥651.00
预订 Logic for Programming, Artificial Intelligence, and Reaso 【全球购】进口原版图书,一般5-8周左右到国内
¥1286
海外直订医药图书Logic for Programming, Artificial Intelligence, and
¥1033
3-6周达 Automated Deduction - Cade-20: 20th International Conf 【全球购】进口原版图书,一般3-6周左右到国内后发出
¥649.00
海外直订Automated Deduction - Cade-20: 20th International Confer
¥553.00
Automated Deduction CADE-20 自动化演绎-CADE-20/2005年国际会议录
¥596.60
Logic for Programming, Artificial Intelligence, and Reasonin
¥269.90