A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula

Kramosil Ivan

首页> 外文期刊>Kybernetika >A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula

【24h】

A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula

机译：一种基本原理的公式的随机采样和程序可推导性的统计估计的方法。二。统计随机抽样公式的方法

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Kybernetika》 |1973年第3期|共页
作者
Kramosil Ivan;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.) [J] . Kramosil Ivan Kybernetika . 1972,第2期

机译：一种随机抽取格式正确的公式的方法。（一种基本理论的公式的随机抽样方法，以及程序可推论的统计估计的方法。）
2. On statistical methods to test if sampling in trials is genuinely random [J] . PanditJ.J. Anaesthesia: Journal of the Association of Anaesthetists of Great Britain and Ireland . 2012,第5期

机译：关于检验试验抽样是否真正随机的统计方法
3. On statistical methods to test if sampling in trials is genuinely random [J] . J. J. Pandit Anaesthesia . 2012,第5期

机译：关于检验试验抽样是否真正随机的统计方法
4. Sample Size Estimation for Statistical Comparative Test of Training by Using Augmented Reality via Theoretical Formula and OCC Graphs: Aeronautical Case of a Component Assemblage [C] . Fernando Suarez-Warden, Yocelin Cervantes-Gloria, Eduardo Gonzalez-Mendfvil International conference on human-computer interaction;International conferendce on virtual and mixed reality;HCI international 2011 . 2011

机译：通过理论公式和OCC图使用增强现实技术进行训练的统计比较测试的样本量估计：航空航天的组件组合
5. The impact of statistical method choice: Evaluation of the SANO randomized clinical trial using two non-traditional statistical methods. [D] . Lane, Christianne Joy. 2009

机译：统计方法选择的影响：使用两种非传统统计方法对SANO随机临床试验进行评估。
6. Assessing the suitability of summary data for two-sample Mendelian randomization analyses using MR-Egger regression: the role of the ... formula ... statistic [O] . Jack Bowden, Fabiola Del Greco M, Cosetta Minelli, -1

机译：使用MR-Egger回归评估汇总数据用于两样本孟德尔随机分析的适用性：...公式统计的作用
7. Statistical Test/Estimation Methods Used in Contemporary Phase III Cancer Randomized Controlled Trials with Time‐to‐Event Outcomes [O] . Hajime Uno, Miki Horiguchi, Michael J. Hassett 2019

机译：当代III期癌症中使用的统计测试/估计方法随着时间到事件结果的随机对照试验

A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula

著录项

相似文献

相关主题

期刊订阅