逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集
汪学明主编2009 年出版150 页ISBN：9787541217470
本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...
基于3S技术的野外地质调查工作管理与服务关键技术研究及应用示范
李超岭，刘畅，刘园园，王勇，王占昌等编著2013 年出版172 页ISBN：9787116083738
本书针对当今新一代信息技术条件下的野外地质调查工作、管理与安全保障服务模式需求，对多S技术、网格技术、数字地质调查技术以及我国北斗导航通讯卫星技术、宽带IP卫星通信技术、3G视频通讯技术在我国野外...
