×

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

最新的 引文 关联
克莉丝汀·伯特兰;米歇尔·德·格拉斯

\（\Omega\）-集合和经验集合被重新审视。（\（\欧米茄\）-重游重游重镇 （法语。英文摘要） 兹比尔1530.18008

加利福尼亚州。白杨。盖姆。差异。猫。 65，编号1，35-72（2024）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18对25 03C90号 54B40码
PDF格式BibTeX公司 XML格式引用
\textit{C.Bertrand}和\textit{M.De Glas}，加利福尼亚州。白杨。盖姆。差异。猫。65，编号1，35--72（2024；Zbl 1530.18008）
全文： 链接
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加维罗

交替（in）依赖友好逻辑。 （英语） 兹伯利07741119

Ann.纯粹应用。逻辑 174，第10号，文章ID 103315，58 p.（2023）.
MSC公司：03B60号 03B70号 03C80号 03C90号 第68页第27页 91A28型
PDF格式BibTeX公司 XML格式引用
\textit{D.Bellier}等人，Ann.Pure Appl。逻辑174，第10号，文章ID 103315，58页（2023；Zbl 07741119）
全文： 内政部 arXiv公司
何塞·古德特·阿尔维姆;卡哈利，亚瑟·弗朗西斯科·施韦茨;雨果·路易斯·马里亚诺

Heyting值模型之间的诱导态射。 （英语） Zbl 1515.03178号

J.应用。日志。-IfCoLog J.日志。申请。 9，第1号，5-40（2022年）.
MSC公司：03C90号 03G30型 03E70型 18层60 18对25
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Alvim}等人，J.Appl。日志。-IfCoLog J.日志。申请。9，编号1，5-40（2022；兹bl 1515.03178）
全文： arXiv公司
斯科特·阿特金森;艾萨克·戈德布林;斯利瓦萨夫·库纳瓦卡姆·埃利亚瓦利

因子相对交换子与（mathrm的广义Jung性质{二} _1个\)因素。 （英语） Zbl 1487.46068号

高级数学。 396，文章ID 108107，53 p.（2022）.
审核人：亚历山德罗·维格纳提（巴黎）
MSC公司：46层36 03C48号 03C90号 03C98号 2007年4月6日
PDF格式BibTeX公司 XML格式引用
\textit{S.Atkinson}等人，高级数学。396，文章ID 108107，53 p.（2022；Zbl 1487.46068）
全文： 内政部 arXiv公司
库斯雷夫（A.G.Kusraev）。;库塔特拉泽，S.S。

删除了Kantorovich空格。 （英语。俄文原件） Zbl 1492.46002号

同胞。数学。J。 63，编号1，102-118（2022）；来自Sib的翻译。材料Zh。63，第1期，第123-144页（2022年）。
MSC公司：46A40型 20层06 03C90号 47B60码
PDF格式BibTeX公司 XML格式引用
\textit｛A.G.Kusraev｝和\textit｛S.S.Kutateladze｝，兄弟姐妹。数学。J.63，No.1，102--118（2022；Zbl 1492.46002）；来自Sib的翻译。材料Zh。63，编号1，123--144（2022）
全文： 内政部
库斯雷夫（A.G.Kusraev）。;库塔特拉泽，S.S。

布尔值分析：背景和结果。 （英语） Zbl 1482.06003号

Kusraev，Anatoly G.（编辑）等人，《算符理论和微分方程》。根据2019年7月15日至20日在俄罗斯弗拉迪卡夫卡兹举行的第15届数学建模顺序分析和相关问题会议上的陈述，选择了一些论文。查姆：Birkhäuser。数学趋势。，91-105 (2021).
审核人：Hirokazu Nishimura（筑波）
MSC公司：2015年2月6日 46A40型 03C90号
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Kusraev}和\textit{S.S.Kutateladze}，in：算子理论和微分方程。根据2019年7月15日至20日在俄罗斯弗拉迪卡夫卡兹举行的第15届订单分析和数学建模相关问题会议上的陈述，选出论文。查姆：Birkhäuser。91-105（2021；Zbl 1482.06003）
全文： 内政部
托马斯·伊巴鲁西亚;迈克尔·梅格利什维利

Urysohn空间和其他度量结构的最大等变紧化。 （英语） Zbl 1464.54018号

高级数学。 380，文章ID 107599，34 p.（2021）.
审核人：V.V.Gorbatsevich（莫斯科）
MSC公司：54天35分 37B05型 22楼50 30楼22号 03C90号 03C65号 46个B04 54甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ibarlucía}和\textit{M.Megreishvili}，高级数学。380，文章ID 107599，第34页（2021；兹bl 1464.54018）
全文： 内政部 arXiv公司
古特曼，A.E。

布尔值宇宙作为一个代数系统。二： 内涵层次结构。 （英语。俄文原件） Zbl 1481.03028号

同胞。数学。J。 61，第3期，426-452（2020年）；来自Sib的翻译。材料Zh。61，第3期，539-571（2020年）。
MSC公司：03C90号 03E40型 03E35号
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Gutman}，Sib。数学。J.61，No.3，426--452（2020；Zbl 1481.03028）；来自Sib的翻译。材料Zh。61，第3号，539--571（2020）
全文： 内政部
古特曼，A.E。

布尔值宇宙作为一个代数系统。一： 基本原则。 （英语。俄文原件） Zbl 1442.03019号

同胞。数学。J。 60，第5号，810-827（2019）；来自Sib的翻译。材料Zh。60，第5期，1041-1062（2019）。
审核人：S.S.Kutateladze（新西伯利亚）
MSC公司：03C90号 03E40型 03E35号
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Gutman}，Sib。数学。J.60，No.5810-827（2019；兹bl 1442.03019）；来自Sib的翻译。材料Zh。60，第5号，1041--1062（2019）
全文： 内政部
罗伯特·卢巴斯基。

分离扇形定理及其弱点。二、。 （英语） 兹比尔1480.03029

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10703242-255（2018年）。
MSC公司：03C90号 03E70型 03楼50 03层60 03天80
PDF格式BibTeX公司 XML格式引用
\textit{R.S.Lubarsky}，莱克特。注释计算。科学。10703、242--255（2018；Zbl 1480.03029）
全文： 内政部
本杰明·G·林。;肖恩·沃尔什

量化模态逻辑的可实现语义：推广Flagg 1985的结构。 （英语） Zbl 1400.03050号

版本符号。日志。 9，第4期，752-809（2016）.
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：03B45 03B42号 03C62号 03C90号 03天60 03楼55 03B40型 06D20日
PDF格式BibTeX公司 XML格式引用
\textit{B.G.Rin}和\textit{S.Walsh}，版本：Symb。日志。9，第4号，752--809（2016；Zbl 1400.03050）
全文： 内政部 arXiv公司
Maicol A.奥乔亚。;安德烈斯·维拉维塞斯

公制结构的滑轮。 （英语） Zbl 1478.03068号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9803, 297-315 (2016).
MSC公司：03C20 03C90号 03C10号机组 03C25号 第54页第35页 03C98号
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Ochoa}和\textit{A.Villaves}，莱克特。注释计算。科学。9803、297--315（2016；Zbl 1478.03068）
全文： 内政部 arXiv公司
塔拉福德，苏拉夫;查克拉波蒂，米希尔·克里。

从集合论的代数值模型中获得的次协调逻辑。 （英语） Zbl 1423.03105号

Beziau，Jean-Yves（编辑）等人，《次协调逻辑的新方向》。2014年2月13日至17日在印度加尔各答举行的第五届世界不一致性大会论文集。新德里：斯普林格。Springer程序。数学。Stat.152，165-183（2015）。
MSC公司：03B53号 03C90号 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{S.Tarafder}和\textit{M.Kr.Chakraborty}，施普林格程序。数学。Stat.152，165--183（2015；Zbl 1423.03105）
全文： 内政部
胜彦三野;马明辉

维瑟命题逻辑的替代语义。 （英语） Zbl 1326.03017号

Aher，Martin（编辑）等人，《逻辑、语言和计算》。第十届第比利斯逻辑、语言和计算国际研讨会，2013年TbiLLC，格鲁吉亚古达乌里，2013年9月23日至27日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-662-46905-7/pbk；978-3-562-46906-4/电子书）。计算机科学课堂讲稿8984，257-275（2015）。
MSC公司：03B20型 03B45 03C90号 03层45
PDF格式BibTeX公司 XML格式引用
\textit{K.Sano}和\textit{M.Ma}，莱克特。注释计算。科学。8984，257--275（2015；Zbl 1326.03017）
全文： 内政部
苏亚雷斯·巴博萨（Rui Soares Barbosa）

关于非局部和宏观平均的一夫一妻制：实例和初步结果。 （英语） Zbl 1467.81019号

Coecke，Bob（ed.）等人，第11届量子物理与逻辑研讨会论文集，QPL’14，日本京都，2014年6月4日至6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）172，36-55（2014）。
MSC公司：81页40页 第81页第13页 13层55 03C90号
PDF格式BibTeX公司 XML格式引用
\textit{R.Soares Barbosa}，电子。程序。西奥。计算。科学。（EPTCS）172，36--55（2014；Zbl 1467.81019）
全文： arXiv公司 链接
阿纳托利·库斯雷夫。;Kutateladze，精液S。

布尔值分析。选定的主题。 （英语） Zbl 1407.46003号

科学趋势。俄罗斯南部。数学专著6.弗拉迪卡夫卡兹：俄罗斯科学院弗拉迪卡夫卡兹科学中心南方数学研究所（ISBN 978-5-904695-24-8）。iv，405页。(2014).
审核人：卡里姆·博拉比尔（突尼斯）
MSC公司：46-02 47-02 03-02 03C90号 26E35岁 46A40型 46平方米 47B60码 47升60
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Kusraev}和\textit{S.S.Kutateladze}，布尔值分析。选定的主题。Vladikavkaz：俄罗斯科学院Vladicavkaz科学中心南方数学研究所（2014；Zbl 1407.46003）
全文： 内政部
库塔特拉泽，S.S。

在非光滑分析中使用模型理论。 （英语） Zbl 1280.49019号

Demyanov，Vladimir F.（编辑）等人，《建设性非光滑分析及相关主题》。纽约州纽约市：施普林格出版社（ISBN 978-1-4614-8614-5/hbk；978-1-461/8615-2/电子书）。Springer Optimization及其应用87，1-11（2014）。
MSC公司：49J52型 05年3月 03C90号 99年6月
PDF格式BibTeX公司 XML格式引用
\textit{S.S.库塔特拉泽}，施普林格·Optim。申请。87，1-11（2014年；兹比尔1280.49019）
全文： 内政部
艾萨克·戈德布林

关于Urysohn领域可定义性的进一步思考。 （英语） Zbl 1364.03053号

Downey，Rod（编辑）等人，《第十二届亚洲逻辑会议论文集》，新西兰惠灵顿，2011年12月15-20日。新泽西州哈肯萨克：世界科学（ISBN 978-981-4449-26-7/hbk；978-981-4449-28-1/电子书）。144-154 (2013).
MSC公司：03C90号 03C40号 第54页第35页
PDF格式BibTeX公司 XML格式引用
\textit{I.Goldbring}，in：第十二届亚洲逻辑会议论文集，新西兰惠灵顿，2011年12月15-20日。新泽西州哈肯萨克：《世界科学》。144-154（2013年；Zbl 1364.03053）
全文： 内政部
罗伯特·卢巴斯基。;汉内斯·迪纳

分离扇形定理及其弱点。 （英语） Zbl 1437.03117号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。7734, 280-295 (2013).
MSC公司：03B70号 03C90号 03楼50 03层60 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{R.S.Lubarsky}和\textit{H.Diener}，莱克特。注释计算。科学。7734280-295（2013年；Zbl 1437.03117）
全文： 内政部 arXiv公司
库斯雷夫（A.G.Kusraev）。

内射Banach格的分类。 （英语。俄文原件） Zbl 1320.46017号

多克。数学。 88，第3期，630-633（2013）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 453，第1期，第12-16页（2013年）。
审核人：君士坦丁·尼古列斯库（克雷奥瓦）
MSC公司：46 B42 46埃05 03C90号 46磅40
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Kusraev}，Dokl。数学。88，第3号，630--633（2013；Zbl 1320.46017）；Dokl翻译。阿卡德。恶心，罗斯。阿卡德。Nauk 453，No.1，12--16（2013）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

软件