×

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

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

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

可视化S5模态逻辑中的多态性和反多态性。 (英语) Zbl 1524.03016号

Giardino,Valeria(编辑)等人,《图解表示和推理》。2022年9月14日至16日,意大利罗马,第13届国际会议,图表2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13462, 296-311 (2022).
MSC公司:03B45号 08A40号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于量子随机预言中密钥协议的不可能性。 (英语) Zbl 1527.81037号

Dodis,Yevgeniy(编辑)等人,《密码学进展——密码2022》。第42届国际密码学年会,2022年8月15日至18日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2022。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13508, 165-194 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于区间的基数{Pol}k(_k))\)在部分(k)值逻辑中。 (英语。俄文原件) Zbl 07596804号

莫斯科。大学数学。牛市。 77,编号3,120-126(2022); 由Vestn翻译。莫斯科。州立大学。I 77,编号3,11-17(2022)。
MSC公司:08A40号 03B50号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有最小对数增长率的多值逻辑中函数类的连续性。 (英语。俄文原件) Zbl 07596766号

离散数学。申请。 32,第2号,97-103(2022); 从Diskretn翻译。材料33,编号3,54-63(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份