المؤلفون: Antonelli, Melissa^{Aff1, IDs1321802400843y_cor1}

المصدر: KI - Künstliche Intelligenz: German Journal of Artificial Intelligence. :1-7

المؤلفون: Pfeifer, Niki^{Aff1, IDs11225023100545_cor1}, Sanfilippo, Giuseppe

المصدر: Studia Logica: An International Journal for Symbolic Logic. 112(1-2):167-206

المؤلفون: Aldini, Alessandro^Aff8, Graziani, Pierluigi^Aff8, Tagliaferri, Mirko^Aff8

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Aldini, Alessandro, editor^Aff7

المصدر: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers. 14568:54-71

المؤلفون: Baratella, Stefano^{Aff1, IDs00153022008355_cor1}

المصدر: Archive for Mathematical Logic. 62(3-4):291-320

المؤلفون: Speranski, S. O.^{Aff1, IDS1064562423700667_cor1}

المصدر: Doklady Mathematics. 107(2):93-96

المؤلفون: Landes, Juergen^{Aff1, IDs10992022096806_cor1}, Rafiee Rad, Soroush, Williamson, Jon

المصدر: Journal of Philosophical Logic. 52(2):555-608

المؤلفون: Harding, John^Aff5, Nguyen, Hung T.^{Aff5, Aff6}

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Sriboonchitta, Songsak, editor^Aff2, Kreinovich, Vladik, editor^Aff3, Yamaka, Woraphon, editor^Aff4

المصدر: Credible Asset Allocation, Optimal Transport Methods, and Related Topics. 429:81-96

المؤلفون: Moore, Eoin^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Artemov, Sergei, editor^Aff8, Nerode, Anil, editor^Aff9

المصدر: Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings. 13137:198-216

المؤلفون: Berto, Francesco, author

المصدر: Topics of Thought : The Logic of Knowledge, Belief, Imagination, 2022.

الإتاحة: https://doi.org/10.1093/oso/9780192857491.003.0008

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.