【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the proceedings of the 2th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held at the Univer-sidade de Brasilia (UnB) in Brasilia, Brazil, during September 25-28, 2017. TABLEAUX is the main international conference at which research on all aspects -theoretical foundations, implementation techniques, systems development, and applications - of the mechanization of tableaux-based reasoning and related methods is presented.
机译:本卷包含于2017年9月25日至28日在巴西巴西利亚的Unis-sidade de Brasilia(UnB)举行的第二届使用分析表和相关方法进行自动推理国际会议的会议记录。TABLEAUX是主要的国际会议在此介绍了基于表格的推理的机械化及其相关方法的各个方面-理论基础,实现技术,系统开发和应用-。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号