检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到1篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

Vakarelov问题的研究: 1; 作者朱朝晖毛宇光朱梧《计算机学报》 EI CSCD 北大核心 1999年第4期351-358,共8页; 本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三... 展开更多; 关键词知识表示系统信息逻辑 Vakarelov问题形式语言; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部