美国东方学者劳费尔（Berthold Laufer，1874—1934）所著《中国伊朗编》（Sino-Iranica）是他一生著作中较重要的一种，也是欧美东方学很有代表性的作品。著者本人在语言学、人类学、植物学、矿物学方面都受过专门...
序言中国伊朗编苜蓿葡萄树阿月浑子胡桃安石榴胡麻和亚麻胡荽胡瓜或黄瓜胡蒜、胡葱、浑提葱豌豆和蚕豆红花和姜黄胭脂(红蓝)茉莉指甲花胡桐泪甘露蜜阿魏白松香无食子或五倍子靛青大米胡椒糖诃黎勒“金桃”附子芸薹属...
目录1 概述2 类型和表达式3 命题和证明4 依赖积5 常用逻辑6 归纳数据类型7 证明策略和自动化证明8 归纳谓词9 函数及其规范10 程序抽取和命令式程序设计11 实例分析12 模块系统13 无穷对象和证明14 ...
内容简介本书以大量精美的图片展示了中国出产的矿物晶体，介绍了各省典型矿物晶体的品种及特征，着重描述了70个矿产地的矿物晶体特征及简单的矿床特点。此外，还介绍了关于矿物晶体鉴定特征及贸易的相关知识。 ...
To ensure system stability, you can download up to 2,000 records at a time. Please adjust your filters and export data in batches if needed.
2,000
为保障系统稳定，单次最多可下载 2,000 条数据。如需导出更多，请调整筛选条件并分批导出。