退出
我的积分:
中文文献批量获取
外文文献批量获取
梁晔; 周训伟; 鲍泓;
北京联合大学信息技术研究所;
互逆主义逻辑; 本体; 逻辑定理; 二层本体;
机译:基于本体论对齐的基于逻辑的本体框架
机译:基于描述逻辑和基于F逻辑的本体之间的关系
机译:事件本体中动作形式主义的扩展描述逻辑
机译:基于线性逻辑定理证明者变换的互逆Web服务组合
机译:基于描述逻辑的本体的不确定性管理
机译:基于现实主义的本体设计问题:为糖尿病营应用本体创建定义的案例研究
机译:逻辑与本体。真实存在和身份作为第二层的功能。
机译:基于自动化的基于本体的链接分析国际Web日志,以及时发现相关和凭证信息
机译:A和非B门的基于互逆量子逻辑的电路
机译:JENA的本体中基于逻辑的本体搜索与推理方法
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。