首页> 中文期刊> 《计算机科学》 >Herbrand基上的启发式语义映射

Herbrand基上的启发式语义映射

         

摘要

cqvip:一、引言 在逻辑程序中允许负文字出现,极大地增强了逻辑程序的表达能力,但同时也其语义定义带来了困难。可以说,至今还没有一种好的方法来定义一般逻辑程序的语义。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号