Interactive Theorem Proving: An Empirical Study of User Activity

机译：互动定理证明：用户活动的实证研究

代理获取

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

页面导航

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

著录项

作者
Aitken J.S.; Gray P.; Melham T.; Thomas M.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An empirical study of the effects of interactivity on web user attitude [J] . Teo HH., Oh LB., Liu CH., International journal of human-computer studies . 2003,第3期

机译：交互性对网络用户态度影响的实证研究
2. User attitude as a mediator of learning performance improvement in an interactive multimedia environment: an empirical investigation of the degree of interactivity and learning styles [J] . Kettanurak V., Haseman WD., Ramamurthy K. International journal of human-computer studies . 2001,第4期

机译：用户态度作为交互式多媒体环境中学习成绩改善的中介者：交互程度和学习方式的实证研究
3. A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita [J] . Claudio Sacerdoti Coen, Enrico Tassi Journal of Formalized Reasoning . 2008,第1期

机译：互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
4. Providing diagram user interfaces for interactive theorem proving [C] . Jun Han, Tao Lin International Conference on Human-Computer Interaction . 1995

机译：为交互式定理提供图表用户界面
5. On the applications of Interactive Theorem Proving in computational sciences and engineering. [D] . Tahat, Amer. 2016

机译：关于交互式定理证明在计算科学和工程中的应用。
6. How Chinese Web Users Value Their Personal Information: An Empirical Study on WeChat Users [O] . Yaojia Tang, Luna Wang 2021

机译：中国网络用户如何重视他们的个人信息：对微信用户的实证研究
7. Interactive Theorem Proving: An Empirical Study of User Activity [O] . J. S. Aitken, P. Gray, T. Melham, 1995

机译：交互式定理证明：用户活动的实证研究
8. OTTER (Organized Techniques for Theorem-proving and Effective Research) 2.0 users guide. [R] . McCune, W. W. 1990

机译：OTTER（用于定理和有效研究的组织技术）2.0用户指南。

Interactive Theorem Proving: An Empirical Study of User Activity

著录项

引文网络

相似文献

相关主题

期刊订阅