逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集

本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸多研究领域。