×

找到24个文档(结果1-24)

关于构造节点总重量最小的决策树的算法。 (俄语。英文摘要) Zbl 1041.68121号

MSC公司:68单位35 68层37
PDF格式BibTeX公司 XML格式引用

线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 (俄语。英文摘要) Zbl 1032.03510号

MSC公司:03B44号 03B70号
PDF格式BibTeX公司 XML格式引用

可控物体一维运动能量消耗的最优轨迹结构。 (俄语。英文摘要) Zbl 1033.49044号

MSC公司:49N90型 49J20型
PDF格式BibTeX公司 XML格式引用

实现基本对称函数的“矩形”接触电路的渐近最小单次诊断测试。 (俄语。英文摘要) Zbl 1033.94572号

PDF格式BibTeX公司 XML格式引用

用模糊逻辑公式表示的函数逼近连续函数。 (俄语。英文摘要) Zbl 1032.03511号

MSC公司:03B52号 03E72型 03B50
PDF格式BibTeX公司 XML格式引用

某些自动机电路类中布尔函数实现复杂性的超精确界。 (俄语。英文摘要) Zbl 1033.94570号

MSC公司:94立方厘米 06E30年 65年第68季度
PDF格式BibTeX公司 XML格式引用

使用观测值估计随机系统操作员参数。 (俄语。英文摘要) 兹比尔1077.93534

MSC公司:93E10型 41A35型
PDF格式BibTeX公司 XML格式引用

优化设计过程数学模型中的多极值优化。 (俄语。英文摘要) Zbl 1033.49043号

MSC公司:49N90型 93E20型
PDF格式BibTeX公司 XML格式引用

通过几何变换将图形相互叠加来比较图形的形状。 (俄语。英文摘要) Zbl 1041.68111号

MSC公司:68单位10
PDF格式BibTeX公司 XML格式引用

图形的构造性描述和经济编码。 (俄语。英文摘要) 兹比尔1029.05149

PDF格式BibTeX公司 XML格式引用

关于随机无上下文语言的编码成本的下界。 (俄语。英文摘要) Zbl 1041.68055号

PDF格式BibTeX公司 XML格式引用

关于接触二进制解码器的区域复杂性。 (俄语。英文摘要) Zbl 1033.94573号

MSC公司:94C15号机组 94A24型 65年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用

通过计算相似性估计来识别不同尺度的三维物体。 (俄语。英文摘要) Zbl 1041.68114号

PDF格式BibTeX公司 XML格式引用

关于自校正接触电路在不断增加的断开次数下的复杂性。 (俄语。英文摘要) Zbl 1033.94571号

PDF格式BibTeX公司 XML格式引用

\图的(k\)-划分。 (俄语。英文摘要) Zbl 1029.05141号

PDF格式BibTeX公司 XML格式引用

根据完备性问题的可解性对自动机系统进行分类。 (俄语。英文摘要) Zbl 1032.03522号

MSC公司:05年3月 03B25号 94立方厘米 06E30年
PDF格式BibTeX公司 XML格式引用

控制系统的可靠性及其元件故障的统计分析。 (俄语。英文摘要) 兹比尔1043.90015

MSC公司:90B25型 60 K10 62页99
PDF格式BibTeX公司 XML格式引用

关于三值部分逻辑中闭类格的一些片段。 (俄语。英文摘要) Zbl 1032.03527号

MSC公司:03克10 03B50
PDF格式BibTeX公司 XML格式引用

筛选结果依据…