形式语义分析相关论文
提出一种基于IEEE802.1x协议的双向认证方法,该方法在一个认证流程内实现客户实体与认证服务器之间和客户实体与认证实体之间的双......
情境语义学研究的目的在于将自然语言表达式的＂意义＂在信息范畴内通过现代逻辑技术手段加以解释,问题及其问句兼具认知功能、思维形......
