【24h】

Book Review

机译:书评

获取原文
获取原文并翻译 | 示例
           

摘要

In 2011, he received the IJCAI Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.
机译:2011年,他因在知识表示和问题解决逻辑方面的贡献而获得了IJCAI研究卓越奖,其中包括他在自动定理证明和逻辑编程方面的开拓性工作。

著录项

  • 来源
    《AI communications》 |2012年第4期|p.361-364|共4页
  • 作者

    Luis Moniz Pereira;

  • 作者单位

    Centro de Inteligencia Artificial (CENTRIA), Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa, Portugal;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号