×

找到51342个文档（结果1–100）

最新的 引文 关联
斯蒂芬·伊戈列维奇·巴什马科夫；基里尔·亚历克桑德罗维奇·斯梅利克

多代理计算树逻辑的关系版本\（\mathcal{CTLK}\）。 （俄语。英文摘要） Zbl 07832085号

伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).
MSC公司：03B44号 03B42号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.I.Bashmakov}和\textit{K.A.Smelykh}，Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92（2024；Zbl 07832085）
全文： DOI程序 链接
马克西莫娃，L.L。；云，V.F。

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

同胞。数学。J。 65，编号2，344-350（2024）; 来自Sib的翻译。材料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）；来自Sib的翻译。材料Zh。65，编号2，349--357（2024）
全文： DOI程序
尼娜·吉拉西姆祖克（编辑）；费尔南多·奎萨达（Fernando R.Velázquez-Quesada）。（编辑）

动态逻辑。新趋势和应用。第五届国际研讨会，达赖2023年，格鲁吉亚第比利斯，2023年9月15日至16日。修订了选定的论文。 （英语） Zbl 07815705号

计算机科学课堂讲稿14401.查姆：施普林格（ISBN 978-3-031-51776-1/pbk；978-3-331-51777-8/电子书）。xi，第137页。(2024).
MSC公司：03-06 03B70号 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Gierasimczuk}（编辑）和\textit{F.R.Velázquez-Quesada}（主编），动态逻辑。新趋势和应用。第五届国际研讨会，达赖2023年，格鲁吉亚第比利斯，2023年9月15日至16日。修改选定的论文。查姆：施普林格（2024；Zbl 07815705）
全文： DOI程序
契安·多尔；约翰·霍桑；尤哈尼Yli-Vakkuri

可能性的界限。模态变化的困惑（即将出现）。重印2021年精装版。 （英语） Zbl 07749100号

牛津：牛津大学出版社（ISBN 978-0-19-891077-0/pbk）。x、 第436页。(2024).
MSC公司：03-02 03A05号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Dorr}等人，《可能性的界限》。模态变化的困惑（即将出现）。重印2021年精装版。牛津：牛津大学出版社（2024；Zbl 07749100）
马泰奥·卡普奇；布鲁诺加夫拉诺维奇；阿卜杜拉·马利克；里奥斯，弗朗西斯科；乔纳森·温伯格

关于光学、透镜和辩证范畴的纤维构造。 arXiv公司：2403.16388

预印本，arXiv:2403.16388[math.CT]（2024）。
MSC公司：18立方米 18天30分 2005年5月18日 03G30型 03B38型
BibTeX公司 引用
\textit{M.Capucci}等人，“光学、透镜和辩证范畴的纤维结构”，预印本，arXiv:2403.16388[math.CT]（2024）
全文： arXiv公司
OA许可证

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

传记参考

全部的 前3名

软件