【24h】

Preface

机译:前言

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

摘要

This volume contains the papers presented at the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held during July 14-17, 2018 in Oxford, UK, as part of the Federated Logic Conference, FLoC 2018. There were 125 abstracts submitted to LJCAR, resulting in 108 complete submissions. Each submission was assigned to three Program Committee members and received at least three reviews. The committee accepted 46 papers in total, 38 full papers and eight system descriptions. In addition, the program included two invited talks by Erika Abraham and Martin Giese, and accommodated a number of FLoC central events.
机译:该卷包含在2018年7月14日至17日在英国牛津举行的第9届国际自动推理国际联合会议(IJCAR 2018)上提交的论文,这是联邦逻辑会议(FLoC 2018)的一部分。向LJCAR提交了125篇摘要,共提交了108份完整的作品。每份意见书均分配给三名计划委员会成员,并至少接受了三份审核。委员会共接受论文46篇,全文38篇,系统描述8篇。此外,该计划还包括Erika Abraham和Martin Giese的两次邀请演讲,并举办了许多FLoC中心活动。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号