首页> 外文OA文献 >Providing Diagram User Interfaces for Interactive Theorem Proving

【2h】

Providing Diagram User Interfaces for Interactive Theorem Proving

机译：提供图用户界面以进行交互式定理证明

页面导航

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

著录项

作者
Jun Han; Tao Lin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? [J] . Christoph Lüth Electronic Communications of the EASST . 2009,第5期

机译：定理证明的用户界面：必要的滋味还是未开发的潜力？
2. Functional design and implementation of graphical user interfaces for theorem provers [J] . C. LUTH Journal of Functional Programming . 1999,第期

机译：定理证明者的图形用户界面的功能设计和实现
3. Automatically Proving Plane Geometry Theorems Stated by Text and Diagram [J] . Gan Wenbin, Yu Xinguo, Zhang Ting, International Journal of Pattern Recognition and Artificial Intelligence . 2019,第7期

机译：由文本和图表自动证明平面几何定理
4. Providing diagram user interfaces for interactive theorem proving [C] . Jun Han, Tao Lin International Conference on Human-Computer Interaction . 1995

机译：为交互式定理提供图表用户界面
5. Universal design and access in chemical engineering: Providing interactive accessibility to graphical user interfaces for the visually impaired [D] . Romey, Noel E. 2008

机译：化学工程中的通用设计和访问：为视障人士提供对图形用户界面的交互式访问
6. Determination of real-time polymerase chain reaction uncertainty of measurement using replicate analysis and a graphical user interface with Fieller’s theorem [O] . James Ian Stuart, Johan Delport, Robert Lannigan, 2014

机译：使用重复分析和带有Fieller定理的图形用户界面确定实时聚合酶链反应的测量不确定度
7. Interactive Theorem Proving: An Empirical Study of User Activity [O] . Aitken J.S., Gray P., Melham T., 1998

机译：互动定理证明：用户活动的实证研究
8. Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover [R] . Cant, A., Ozols, M. A. 1995

机译：Xlsabelle：Isabelle定理证明器的图形用户界面

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号