×

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

超身份。布尔和德摩根结构。 (英语) Zbl 1505.06001号

新加坡:世界科学(ISBN 978-981-12-5491-8/hbk;978-981-52-5493-2/电子书)。xxvii,532页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有实际存在谓词的动态接触代数:快照表示和拓扑对偶。 (英语) Zbl 1511.03004号

Düntsch,Ivo(ed.)等人,Alasdair Urquhart关于非经典和代数逻辑以及证明的复杂性。查姆:斯普林格。外部。控制日志。第2441-475页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Artin定理的推广。 (英语。俄文原件) 兹比尔1504.08001

J.康特姆。数学。分析。,阿曼。阿卡德。科学。 56,编号2,104-111(2021)Izv的翻译。国家。阿卡德。纳克·阿曼。,材料56,编号2,58-70(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于函数变量的一些关联公式。 (英语。俄文原件) Zbl 1491.20146号

J.康特姆。数学。分析。,阿曼。阿卡德。科学。 56,编号1,1-4(2021)Izv的翻译。国家。阿卡德。纳克·阿曼。,材料56,编号1,3-9(2021)。
MSC公司:20号02 08A02级
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关系图线性代数中的计算证明。 (英语) Zbl 07370046号

卡瓦略、古斯塔沃(编辑)等,《形式方法:基础和应用》。第23届巴西研讨会,SBMF 2020,巴西乌罗普雷托,2020年11月25日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12475,83-100(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二进制操作的分布式层次结构。 (英语) Zbl 1441.08001号

López-Permouth,Sergio R.(编辑)等人,《环和模的进展》。献给布鲁诺·J·米勒。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。715, 225-242 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

与圆柱交会运算有关的群胚的恒等式。 (英语。俄文原件) Zbl 1396.20075号

俄罗斯数学。 62,第8期,9-16(2018)Izv的翻译。维什。乌切布。扎维德。,材料2018,第8号,12-20(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份