Towards evolutionary theorem proving for isabelle/HOL

机译：对Isabelle / Hol的进化定理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yutaka Nagashima;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Programming and verifying a declarative first-order prover in Isabelle/HOL [J] . Jensen Alexander Birch, Larsen John Bruntse, Schlichtkrull Anders, AI communications . 2018,第3期

机译：在Isabelle / HOL中编程和验证声明性一阶证明人
2. Proving Divide and Conquer Complexities in Isabelle/HOL [J] . Eberl Manuel Journal of Automated Reasoning . 2017,第4期

机译：证明Isabelle / HOL中的分而治之的复杂性
3. An Isabelle/HOL Formalisation of Green's Theorem [J] . Abdulaziz Mohammad, Paulson Lawrence C. Journal of neurosurgical sciences . 2019,第3期

机译：绿色定理的伊莎贝尔/霍尔形式化
4. EFFICIENT VERIFICATION OF RECONFIGURABLE DISCRETE-EVENT SYSTEM USING ISABELLE/HOL THEOREM PROVER [C] . Sohaib Soualah, Mohamed Khalgui, Allaoua Chaoui, Annual European Simulation and Modelling Conference . 2020

机译：使用Isabelle / HOL定理箴言有效验证可重新配置的离散事件系统
5. A modal logic for role-based access control within the HOL theorem prover. [D] . Kosiyatrakul, Thumrongsak. 2010

机译：HOL定理证明器中基于角色的访问控制的模态逻辑。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. Isabelle-89 - source code from the interactive theorem prover Isabelle upon its release in 1989 [O] . Paulson, Lawrence C. 2016

机译：Isabelle-89-交互式定理证明者Isabelle于1989年发布时的源代码

Towards evolutionary theorem proving for isabelle/HOL

著录项

引文网络

相似文献

相关主题

期刊订阅