第一届类型论 Hammer 研讨会论文集
计算机科学中的逻辑
2016-06-20 v1 人工智能
机器学习
摘要
本卷 EPTCS 包含了 2016 年 7 月 1 日在葡萄牙 Coimbra 举行的、作为国际自动推理联合会议（IJCAR 2016）一部分的第一届类型论 Hammer 研讨会（HaTT 2016）的论文集。论文集包含四篇常规论文，以及 Pierre Corbineau（法国 Verimag）和 Aleksy Schubert（波兰华沙大学）的两场特邀报告的摘要。
引用
@article{arxiv.1606.05427,
title = {Proceedings First International Workshop on Hammers for Type Theories},
author = {Jasmin Christian Blanchette and Cezary Kaliszyk},
journal= {arXiv preprint arXiv:1606.05427},
year = {2016}
}