×

找到979个文档(结果1-100)

饱和约束Horn子句的符号模型构造。 (英语) Zbl 07842297号

Sattler,Uli(编辑)等人,《组合系统的前沿》。第十四届国际研讨会,2023年9月20日至22日,捷克共和国布拉格,Frocos 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14279, 137-155 (2023).
MSC公司:03B35型
PDF格式BibTeX公司 XML格式引用

卡尔德龙建筑的乘数。 (英语。俄文原件) Zbl 07786654号

功能。分析。应用。 57,第2期,第87-98页(2023年); 来自Funkts的翻译。分析。普里洛日。57,第2期,第3-17页(2023年)。
MSC公司:46E30型 46亿B70
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双向过程——范畴理论、物理学、工程学…。 (英语) Zbl 07819684号

弗拉基米尔·多布雷夫(编辑),《谎言理论及其在物理学中的应用》。2021年6月,保加利亚索非亚,在线研讨会上的演讲,精选论文。新加坡:斯普林格。Springer程序。数学。《美国联邦法律大全》第396卷第431-438页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类具有Reed-Muller码参数的码的重量分布。 (英语。俄文原件) Zbl 1530.94060号

问题。信息传输。 58,第3期,231-241(2022); Probl的翻译。Peredachi Inf.58,No.3,33-44(2022)。
MSC公司:94B05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MATLAB紧凑型。第7次更新和扩大版。(MATLAB kompakt.) (德语) 兹比尔1478.65001

德格鲁伊特工作室柏林:De Gruyter/奥尔登堡(ISBN 978-3-11-074170-4/pbk;978-3-11-074178-0/电子书)。xv,660页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Calderón构造了几个全局Morrey空间。 (英语。俄文原件) Zbl 1493.46045号

伊兹夫。数学。 85,编号5,833-851(2021); Izv的翻译。罗斯。阿卡德。Nauk,爵士。材料85,编号5,5-24(2021)。
MSC公司:46E30型 46亿B70 46 B42
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作用于周期函数的线性算子的指数收敛求积公式的构造算法。 (英语。俄文原件) 兹比尔1473.65023

俄罗斯数学。 65,编号2,75-80(2021); Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号2,86-92(2021)。
MSC公司:65天32分 65D20个
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于(L_1)和Lee度量中码的广义级联构造。 (英语。俄文原件) Zbl 1478.94133号

问题。信息传输。 57,第1号,70-83(2021); Probl的翻译。Peredachi Inf.57,No.1,81-95(2021)。
MSC公司:94B05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多范畴的二分法与经典线性逻辑。 (英语) Zbl 07516370号

Patricia Johann(编辑),《第36届编程语义数学基础会议论文集》,MFPS XXXVI,虚拟会议,2020年6月2-6日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。352, 29-52 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

两个希尔伯特模张量积的分解。 (英语) Zbl 1514.47046号

Curto,Raul E.(编辑)等人,《算子理论、算子代数及其与几何和拓扑的相互作用》。罗纳德·道格拉斯纪念册。《算子理论与应用国际研讨会论文集》(IWOTA 2018),中国上海,2018年7月23日至27日。查姆:Birkhäuser。操作。理论:高级应用。278, 221-265 (2020).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件