1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. C/C++资料

逻辑程序设计语言G(o)del中等词地研究及实现简报.pdfVIP

  • 4
  • 0
  • 约1.76万字
  • 约 3页
  • 2017-08-19 发布于安徽
  • 举报

逻辑程序设计语言G(o)del中等词地研究及实现简报.pdf

    计算机科学2006V01．33No．8(增刊) 逻辑程序设计语言G6del中等词的研究及实现简报*) Researchand of in GOdel(Chief Language Report) ImplementationEqualityLogicProgramming 侯米娜赵致琢李慧琪苏剑煌李松斌 (厦门大学计算机科学系 厦门361005) Abstract isoneofthe in is todefinethefunctionrelationsasin- Equality specialpredicateslogic program．Ithelpful in the and ofthe of troducing logicpro

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >