Real theorem provers deserve real user-interfaces

机译：真实的定理普通值得真实的用户界面

代理获取

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

页面导航

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

摘要

This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments

机译：本文介绍如何将现代用户界面添加到现有的定理普通，使用专为编程环境设计的原理和工具

著录项

作者
Laurent Théry; Yves Bertot; Gilles Kahn;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic [J] . Arief Daynes Mathematical logic quarterly: MLQ . 2006,第6期

机译：一种使用无割逻辑的有限准一致性模型证明可实现性和一致性定理的新技术
2. Deductive Verification of real-time safety properties for embedded assembly program using theorem prover Princess [J] . Naoki ODAJIMA, Gakuhi FUKUDA, Satoshi YAMANE 電子情報通信学会技術研究報告. システム数理と応用. Mathematical Systems Science and its Applications . 2017,第506期

机译：使用定理秘密公主进行嵌入式装配计划的实时安全性能的演绎验证
3. Applications of real number theorem proving in PVS [J] . Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Formal Aspects of Computing . 2013,第6期

机译：实数定理证明在PVS中的应用
4. Real theorem provers deserve real user-interfaces [C] . Laurent Thery, Yves Bertot, Gilles Kahn ACM SIGSOFT symposium on Software development environments . 1992

机译：真实定理证明者应有真实的用户界面
5. Separation and Fenchel-type duality theorems for functions with integer and real variables. [D] . Tokgoz, Emre. 2011

机译：具有整数和实数变量的函数的分离和Fenchel型对偶定理。
6. Virtual sports deserve real sports medical attention [O] . Ana Monteiro Pereira, João Brito, Pedro Figueiredo, 2019

机译：虚拟体育值得真正的体育医学关注
7. Using Theory Interpretation to Mechanise the Reals in a Theorem Prover [O] . Shield Jamie, Hayes Ian, Carrington David 2001

机译：用理论解释使定理证明中的实物机械化
8. Real Theorem Provers Deserve Real User-Interfaces [R] . Thery, L., Bertot, Y., Kahn, G. 1992

机译：真正的定理证明者需要真正的用户界面

Real theorem provers deserve real user-interfaces

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅