×

找到8806个文档（结果1-100）

最新的 引文 关联
马克西莫娃，L.L。；云，V.F。

表前逻辑中Craig的插值性质。 （英语。俄文原件） Zbl 07825250号

同胞。数学。J。 65，编号2，344-350（2024）; 兄弟姐妹的翻译。材料Zh。65，第2期，349-357（2024年）。
MSC公司：03Bxx号 03立方厘米xx 03Fxx公司
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Maksimova}和\textit{V.F.Yun}，Sib。数学。J.65，No.2，344--350（2024；Zbl 07825250）；兄弟姐妹的翻译。材料Zh。65，编号2，349--357（2024）
全文： 内政部
马哈提·阿南德；阿波法兹·拉瓦伊；马吉德·扎马尼

随机系统网络的控制屏障证书的合成，针对\（\omega \）-常规规范。 （英语） Zbl 07812047号

非线性分析。，混合系统。 51，文章ID 101427，20 p.（2024）.
MSC公司：93亿B50 93E03型 93C55美元 93B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Anand}等人，《非线性分析》。，混合系统。51，文章ID 101427，20 p.（2024；Zbl 07812047）
全文： 内政部 arXiv公司
高雄井上；Miwa、Tadayoshi

列希涅夫斯基-伊希莫托命题本体论（bf L_1）的非平凡单公理-图式及其拟现实性。 arXiv:2402.07030

预打印，arXiv:2402.07030[math.LO]（2024）。
MSC公司：03B20型 03B60号 03财年03 03A05号 03A99号
BibTeX公司 引用
\textit{T.Inoué}和\textit{T.Miwa}，“非平凡的单公理-模式及其Le的拟逆性”{s} 尼夫斯基-伊希莫托的命题本体$\bf L_1$“”，预打印，arXiv:2402.07030[math.LO]（2024）
全文： arXiv公司
OA许可证
艾娃·托马斯·赖特

编程合法机器的道义逻辑：康德对法律一致性的规范要求。 （英语） Zbl 07823023号

Bentzen，Bruno（编辑）等人，《人工智能和法律的逻辑》。2023年9月8日至9日和11日至12日，中国杭州，第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录。伦敦：学院出版物。208-222 (2023).
MSC公司：68T27型 03D99号 03B99号
PDF格式BibTeX公司 XML格式引用
\textit{A.T.Wright}，in：人工智能和法律的逻辑。第三届新一代人工智能逻辑国际研讨会和逻辑、人工智能和法律国际研讨会联合会议记录，2023年9月8日至9日和11日至12日，中国杭州。伦敦：学院出版物。208-222（2023；Zbl 07823023）
全文： 链接
Onoprienko，A.A。

关于问题和命题联合逻辑的Herbrand和Harrop定理的类比QHC。 （英语。俄文原件） Zbl 07820607号

多克。数学。 108，第3期，528-532（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。514，第1期，123-128（2023）。
MSC公司：03Fxx公司 03年XX月 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Onoprienko}，多克。数学。108，编号3，528--532（2023；Zbl 07820607）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。514，编号1，123-128（2023）
全文： 内政部
A.Yu Konovalov。

基本谓词演算相对于严格原始递归可实现性的修改版本来说是合理的。 （英语。俄文原件） Zbl 07820497号

数学。笔记 114，编号6，1260-1276（2023）; 翻译自Mat.Zametki 114，No.6，827-847（2023）。
MSC公司：03Fxx公司 03Bxx号 03立方厘米xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Yu.Konovalov}，数学。附注114，第6号，1260--1276（2023；Zbl 07820497）；翻译自Mat.Zametki 114，No.6，827--847（2023）
全文： 内政部
谢特曼，V.B。；D.什卡托夫。

半乘积、乘积和模态谓词逻辑：一些示例。 （英语。俄文原件） Zbl 07812324号

多克。数学。 108，编号2，411-418（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。513, 99-107 (2023).
MSC公司：03Bxx号 03年XX月 03立方厘米xx
PDF格式BibTeX公司 XML格式引用
\textit{V.B.Shehtman}和\textit{D.Shkatov}，Dokl。数学。108，编号2，411--418（2023；Zbl 07812324）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。513, 99--107 (2023)
全文： 内政部
赞巴纳亚，T.S。；拜扎诺夫，B.S。

完备有序理论的可数模型。 （英语。俄文原件） Zbl 07812312号

多克。数学。 108，编号2，343-345（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。513, 5-8 (2023).
MSC公司：03立方厘米xx 03Bxx号 06轴
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Zambarnaya}和\textit{B.S.Baizhanov}，Dokl。数学。108，编号2434-345（2023；Zbl 07812312）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。513, 5--8 (2023)
全文： 内政部
Chebotarev，A.N。

为由\（-\omega\）-正则表达式定义的\（-\ omega\”）-单词集构造最大前缀闭子集。 （英语。乌克兰原文） Zbl 07806783号

赛博。系统。分析。 59，第6号，880-889（2023）; 翻译自Kibern。修女。分析。59，第6期，第19-29页（2023年）。
MSC公司：68季度xx 03年月日 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Chebotarev}，Cybern（网络）。系统。分析。59，第6号，880--889（2023；Zbl 07806783）；翻译自Kibern。修女。分析。59、第6、19--29号（2023年）
全文： 内政部
多兰提斯，帕斯卡尔·诺拉迪诺·蒙特斯；杰拉尔多·马克西米利亚诺·门德斯

非迭代Wagner-Hagras通用2型Mamdani单点模糊逻辑系统，在图像处理的质量保证中，通过中心复合设计进行优化。 （英语） Zbl 07799457号

Castillo，Oscar（编辑）等人，《2型模糊逻辑系统的最新趋势：理论、方法和应用》。查姆：斯普林格。模糊软计算研究。425, 201-216 (2023).
MSC公司：94A08型 94D05型
PDF格式BibTeX公司 XML格式引用
\textit{P.N.M.Dorantes}和\textit{G.M.Mendez}，Stud.Fuzziness软计算。425201--216（2023；Zbl 07799457）
全文： 内政部
信德省Rajendran；B.萨哈纳。；谢克·法亨；B.N.梅格纳。；索娜·特蕾莎·巴布

医疗保健中的2型模糊逻辑系统综述。 （英语） Zbl 07799455号

Castillo，Oscar（编辑）等人，《2型模糊逻辑系统的最新趋势：理论、方法和应用》。查姆：斯普林格。模糊软计算研究。425, 165-186 (2023).
MSC公司：92 C50 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{S.Rajendran}等人，《模糊软计算研究》。425165--186（2023年；Zbl 07799455）
全文： 内政部
约瑟夫·巴米代尔·阿沃滕德；奥莱亚·福洛伦肖；Isah Olawale穆斯塔法；Olusanya，Olayinka Olufunmilayo奥卢桑尼亚；Akanbi、Mulikat Bola；卡泽姆·摩西·阿比奥顿

增强的物联网为医疗系统应用程序提供了2类模糊逻辑。 （英语） Zbl 07799453号

Castillo，Oscar（编辑）等人，《2型模糊逻辑系统的最新趋势：理论、方法和应用》。查姆：斯普林格。模糊软计算研究。425, 133-151 (2023).
MSC公司：93立方厘米 92 C50
PDF格式BibTeX公司 XML格式引用
\textit{J.B.Awotunde}等人，Stud.模糊软计算。425133-151（2023年；Zbl 07799453）
全文： 内政部
里查·夏尔马；侯赛因·鲁哈尼

区间2型模糊逻辑控制方法在下肢外骨骼中的应用。 （英语） 兹比尔07799445

Castillo，Oscar（编辑）等人，《2型模糊逻辑系统的最新趋势：理论、方法和应用》。查姆：斯普林格。模糊软计算研究。425, 1-14 (2023).
MSC公司：93立方厘米 93C85号 93B52号 92 C50 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{R.Sharma}和\textit{H.Rouhani}，Stud.模糊软计算。425，1-14（2023；Zbl 07799445）
全文： 内政部
奥列夫科夫（V.P.Orevkov）。

直觉逻辑序列演算中证明高度的上下界。 （英语。俄文原件） Zbl 07798386号

数学杂志。科学。，纽约 275，第2期，195-224（2023）; Zap的翻译。诺什。塞明。POMI 497，124-169（2020）。
MSC公司：03Fxx公司 03年XX月 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{V.P.Orevkov}，J.数学。科学。，纽约275，No.2，195--224（2023；Zbl 07798386）；Zap的翻译。诺什。塞明。POMI 497、124--169（2020年）
全文： 内政部
波琳娜维诺格拉多瓦

将意想不到的吊死悖论形式化：一个经典的惊喜。 （英语） Zbl 1528.68398号

安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 44-58 (2023).
MSC公司：68V20型 03B99号
PDF格式BibTeX公司 XML格式引用
\textit{P.Vinogradova}，莱克特。注释计算。科学。14156，44-58（2023年；兹比尔1528.68398）
全文： 内政部
洛伦兹·哈尔贝森；雷古拉·克拉普夫

探索无限世界的旅程。从古代到现代的数学基础。（Eine Entdecungsreise在《Unendlichen世界》中。die Grundlagen der Mathematik von der Antike bis在《Neuzeit》中。） （德语） Zbl 07788651号

柏林：施普林格演讲（ISBN 978-3-662-68093-3/pbk；978-3-682-68094-0/ebook）。ix，298页。(2023).
MSC公司：01-01 00A09号 03-03 01年05月
PDF格式BibTeX公司 XML格式引用
\textit{L.Halbeisen}和\textit{R.Krapf}，《Unendlichen世界》中的Eine Entdecungsreise。Neuzeit中的Die Grundlagen der Mathematik von der Antike bis。柏林：施普林格演讲会（2023；Zbl 07788651）
全文： 内政部
费尔南多·查科恩·戈梅斯；科内霍，M.尤金尼亚；杰苏斯·麦地那；埃洛萨·拉米雷斯·波萨

价值还原和bireducts：一项比较研究。 （英语） Zbl 07781265号

数学。方法应用。科学。 46，第2期，1631-1650（2023）.
MSC公司：06年06月06日 2015年1月6日 18A32飞机 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{F.Chacón-Gómez}等人，《数学》。方法应用。科学。46，编号21631-1650（2023；Zbl 07781265）
全文： 内政部
OA许可证
Posicelskaya，文学硕士。；鲁琴科，T.A。；塞梅诺夫，A.L。

基础教育的数学要素。 （英语。俄文原件） Zbl 07772662号

多克。数学。 107，零件补充件1，S10-S41（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。511, 21-53 (2023).
MSC公司：03Bxx号 03年XX月 97亿
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Posicelskaya}等人，Dokl。数学。107，零件补充件1，S10--S41（2023；Zbl 07772662）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。511, 21--53 (2023)
全文： 内政部
A.M.古帕尔。；O.A.瓦吉斯。

从丢番图集理论的观点看算术的不完全性。 （英语。乌克兰原文） Zbl 07765730号

赛博。系统。分析。 59，第5号，698-703（2023）; 翻译自Kibern。修女。分析。59，第5期，第16-21页（2023年）。
MSC公司：03年月日 03年XX月 03Bxx号
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Gupal}和\textit{O.A.Vagis}，Cybern。系统。分析。59，编号5698-703（2023；Zbl 07765730）；翻译自Kibern。修女。分析。59、第5、16--21号（2023年）
全文： 内政部
乔治·梅特卡夫；弗朗西斯科·保利；君士坦丁·齐纳基斯

代数和逻辑中的剩余结构。 （英语） Zbl 07759245号

数学调查和专著277.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-6985-6/pbk；978-1-4740-7551-2/电子书）。xiii，第265页。(2023).
MSC公司：03-02 08-02
PDF格式BibTeX公司 XML格式引用
\textit{G.Metcalfe}等人，代数和逻辑中的剩余结构。普罗维登斯，RI:美国数学学会（AMS）（2023；Zbl 07759245）
全文： 内政部
S.O.斯佩兰斯基。

量化概率逻辑的基本不变量。 （英语。俄文原件） Zbl 07735226号

多克。数学。 107，编号2，93-96（2023）; 翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510, 8-12 (2023).
MSC公司：03Bxx号 03年月日 03立方厘米xx
PDF格式BibTeX公司 XML格式引用
\textit{S.O.Speranski}，Dokl。数学。107，编号2，93-96（2023；Zbl 07735226）；翻译自Dokl。罗斯。阿卡德。恶心，Mat.Inform。Protsessy升级。510，8-12（2023年）
全文： 内政部
乔治·雅罗斯基维奇

量化检测器网络。观察理论。2017年版再版。 （英语） 兹比尔1517.81003

剑桥数学物理专著剑桥：剑桥大学出版社（ISBN 978-1-00-940145-6/hbk；978-1-00.940142-5/pbk；968-1-00-940143-2/电子书）。十八、370页。，开放存取（2023年）。
MSC公司：81-01 81第05页 81页第10页 00安培79
PDF格式BibTeX公司 XML格式引用
\textit{G.Jaroszkiewicz}，量化检测器网络。观察理论。2017年版再版。剑桥：剑桥大学出版社（2023；Zbl 1517.81003）
全文： 内政部
吴浩；马明辉

正规拓扑拟布尔逻辑的关系语义。 （英语） Zbl 07728698号

Banerjee，Mohua（编辑）等人，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 207-221 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Wu}和\textit{M.Ma}，Lect。注释计算。科学。13963、207--221（2023；Zbl 07728698）
全文： 内政部
吴浩；马明辉

直觉主义连接逻辑的无限性。 （英语） Zbl 07728697号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 189-206 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{H.Wu}和\textit{M.Ma}，Lect。注释计算。科学。13963、189--206（2023；Zbl 07728697）
全文： 内政部
伊内克·范德伯格；安德烈亚·德·多梅尼科；朱塞佩·格雷科；克里希纳·B·马诺卡尔。；亚历山德拉·帕尔米吉亚诺；玛蒂亚·帕内蒂尔

粗糙概念逻辑的标签计算。 （英语） Zbl 07728696号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 172-188 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Berg}等人，Lect。注释计算。科学。13963、172--188（2023年；Zbl 07728696）
全文： 内政部
马修尔·拉哈曼·萨达尔

粗糙集理论中基于准布尔的模型：覆盖的一个例子。 （英语） Zbl 07728695号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 159-171 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Sardar}，莱克特。注释计算。科学。13963、159--171（2023；Zbl 07728695）
全文： 内政部
马尼迪巴省三亚市；普拉巴尔·库马尔·森

命令逻辑的新维度。 （英语） Zbl 07728694号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 143-158 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Sanyal}和\textit{P.K.Sen}，Lect。注释计算。科学。13963、143--158（2023；Zbl 07728694）
全文： 内政部
保罗·博尔纳利；桑迪普·保罗

具有双域语义的模糊自由逻辑。 （英语） Zbl 07728693号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 130-142 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{B.Paul}和\textit{S.Paul}Lect。注释计算。科学。13963、130--142（2023；Zbl 07728693）
全文： 内政部
杰妮·雅各布；马诺伊·昌加特

图的诱导路径函数的分段传递函数及其一阶可定义性。 （英语） Zbl 07728692号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 117-129 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.Jacob}和\textit{M.Changat}，莱克特。注释计算。科学。13963、117--129（2023；Zbl 07728692）
全文： 内政部
陈倩；马明辉

广义分离拓扑空间的模态逻辑。 （英语） Zbl 07728690号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963，92-104（2023年）。
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Q.Chen}和\textit{M.Ma}，Lect。注释计算。科学。13963、92-104（2023；Zbl 07728690）
全文： 内政部
拉马努贾姆，R。

伟大的想法从逻辑到数学和计算教育。 （英语） Zbl 07728689号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 79-91 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramanujam}，莱克特。注释计算。科学。13963、79-91（2023年；Zbl 07728689）
全文： 内政部
桑德拉·米勒

确定性公理和大基数。 （英语） Zbl 07728688号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 68-78 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.米勒}，莱克特。注释计算。科学。13963，68-78（2023年；兹bl 07728688）
全文： 内政部 arXiv公司
辛格、希卡；卡马尔·洛达亚；迪帕克·凯梅尼

吓唬Gruffalo的两种方法。 （英语） Zbl 07728687号

Banerjee，Mohua（编辑）等人，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 48-67 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Singh}等人，Lect。注释计算。科学。13963，48-67（2023年；兹bl 07728687）
全文： 内政部
伊内克·范德伯格；安德烈亚·德·多梅尼科；朱塞佩·格雷科；克里希纳·B·马诺卡尔。；亚历山德拉·帕尔米吉亚诺；马蒂亚·帕内蒂埃

基于格的模态逻辑的标记计算。 （英语） Zbl 07728686号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 23-47 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{I.van der Berg}等人，Lect。注释计算。科学。13963，23-47（2023；Zbl 07728686）
全文： 内政部
查克拉波蒂，苏普拉特克

布尔函数合成：在解算器的幕后。 （英语） Zbl 07728685号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 11-22 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Chakraborty}，莱克特。注释计算。科学。13963，11-22（2023；Zbl 07728685）
全文： 内政部
查克拉博蒂，米希尔·库马尔

关于数学本体论的一个注释。 （英语） Zbl 07728684号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 1-10 (2023).
MSC公司：03Bxx号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.K.Chakraborty}，莱克特。注释计算。科学。13963，1-10（2023；Zbl 07728684）
全文： 内政部
谢尔盖·马尔琴科夫。

关于指数多项式函数有限生成类的等式问题。 （英语。俄文原件） Zbl 07726728号

离散数学。申请。 33，第3期，167-175（2023）; 从Diskretn翻译。材料34，编号1，64-75（2022）。
MSC公司：03Bxx号 08轴 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Marchenkov}，离散数学。申请。33，编号3，167--175（2023；Zbl 07726728）；从Diskretn翻译。材料34，编号1，64--75（2022）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件