【24h】

Preface

机译:前言

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

摘要

The International Conference on Interactive Theorem Proving (ITP) is a premier venue for publishing research in the area of logical frameworks and interactive proof assistants. Its topics include both theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verification of mathematical results.
机译:交互式定理证明国际会议(ITP)是在逻辑框架和交互式证明助手领域发布研究的主要场所。其主题包括该技术的理论基础和实现方面,以及用于验证硬件和软件系统以确保其安全性和安全性的应用,以及在数学结果的形式验证中的应用。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号