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.)

Kramosil Ivan

首页> 外文期刊>Kybernetika >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.)

【24h】

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.)

机译：一种随机抽取格式正确的公式的方法。（一种基本理论的公式的随机抽样方法，以及程序可推论的统计估计的方法。）

获取原文

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

开具论文收录证明 >>

页面导航

著录项
相似文献
相关主题

著录项

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

展开▼
收录信息
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词
入库时间 2022-08-18 11:51:09

相似文献

外文文献
中文文献
专利

1. 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 [J] . Kramosil Ivan Kybernetika . 1973,第3期

机译：一种基本原理的公式的随机采样和程序可推导性的统计估计的方法。二。统计随机抽样公式的方法
2. Prediction of the Coding Sequences of Unidentified Human Genes. I. The Coding Sequences of 40 New Genes (KIAA0001-KIAA0040) Deduced by Analysis of Randomly Sampled cDNA Clones from Human Immature Myeloid Cell Line KG-1 (Supplement) [J] . Ayako Tanaka, Ken-ichi Ishikawa, Naohiko Seki, DNA research: an international journal for rapid publication of reports on genes and genomes . 1994,第1期

机译：未知人类基因编码序列的预测。 I.通过分析来自人类未成熟髓细胞系KG-1（补充）的随机采样cDNA克隆推导出的40个新基因的编码序列（KIAA0001-KIAA0040）
3. Prediction of the Coding Sequences of Unidentified Human Genes. I. The Coding Sequences of 40 New Genes (KIAA0001-KIAA0040) Deduced by Analysis of Randomly Sampled cDNA Clones from Human Immature Myeloid Cell Line KG-1 [J] . Ayako Tanaka, Ken-ichi Ishikawa, Naohiko Seki, DNA research: an international journal for rapid publication of reports on genes and genomes . 1994,第1期

机译：未知人类基因编码序列的预测。 I.通过分析来自人类未成熟骨髓细胞系KG-1的随机采样cDNA克隆推导的40个新基因的编码序列（KIAA0001-KIAA0040）
4. Natural disaster information statistics study based on stratified random sampling survey statistical methods [C] . Fan Chunbo, Zhang Peng, Sun Yanna, 2012 IEEE International Conference on Granular Computing. . 2012

机译：基于分层随机抽样调查统计方法的自然灾害信息统计研究
5. Development of a randomized sampling methodology for characterization of chlorine residual in drinking water distribution systems. [D] . Speight, Vanessa Lynn. 2003

机译：开发用于表征饮用水分配系统中氯残留量的随机采样方法。
6. Exploiting collider bias to apply two-sample summary data Mendelian randomization methods to one-sample individual level data [O] . Ciarrah Barry, Junxi Liu, Rebecca Richmond, 2021

机译：利用碰撞者偏见将两个样本摘要数据门铃随机化方法应用于一个样本单个级别数据
7. Combination of Probability Random Sampling Method with Non Probability Random Sampling Method (Sampling Versus Sampling Methods) [O] . Ilker Etikan 2017

机译：具有非概率随机采样方法的概率随机抽样方法的组合（采样与采样方法）

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.)

著录项

相似文献

相关主题

期刊订阅