高阶逻辑辅助证明系统
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译
北京理工大学出版社
2013-05
九五品
¥96.00
至柔至韧至暗至美
凌曦 著;凌曦 编
南京大学出版社
2021-11
全新
¥98.00
罗汉果栽培与化学研究
广西壮族自治区中国科学院广西植物研究所 编著;李锋、蒋水元、李典鹏 主编
广西科学技术出版社
2010
八五品
¥118.00
超合金社团8
风息神泪 编;LING 绘
新世纪出版社
2013-12
九五品
¥120.00
看里面第2辑:8本合售
[英]埃里克斯·弗里斯、[英]科林·金 著;荣信文化 译
未来出版社
2010-08
九品
¥198.00
[德]托比亚斯·尼普科夫、[英]劳伦斯·鲍尔森、[德]玛尔库斯·温泽尔 著;陈光喜、刘卓军 译 / 北京理工大学出版社
[美]琳达·达林-哈蒙德 著 / 华东师范大学出版社
作者:
Sotheby’s
出版社:
Sotheby’s
梅文华、王勇、王淑波、孙林、杨蕊琴 著 / 国防工业出版社
广西壮族自治区中国科学院广西植物研究所 编著;李锋、蒋水元、李典鹏 主编 / 广西科学技术出版社
[英]埃里克斯·弗里斯、[英]科林·金 著;荣信文化 译 / 未来出版社