-
1مؤتمر
المؤلفون: Coll, Jordi, Li, Chu Min, Manya, Felip, Yangin, Elifnaz
المصدر: 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2024 IEEE 54th International Symposium on. :137-142 May, 2024
Relation: 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)
-
2رسالة جامعية
المؤلفون: Soler Cabrejas, Juan Ramón
مرشدي الرسالة: Maña Serres, Felipe, Armengol Voltas, Eva
المصدر: TDX (Tesis Doctorals en Xarxa)
مصطلحات موضوعية: Maxsat, Minsat, Tableaux semàntics, Tableaux semánticos, Semantic tableaux, Tecnologies
وصف الملف: application/pdf
URL الوصول: http://hdl.handle.net/10803/671710
-
3دورية أكاديمية
المؤلفون: Bisht, Shuchi, Hothi, NavjotAff2, IDs1264802403075w_cor2
المصدر: Indian Journal of Physics. 98(9):3365-3371
-
4دورية أكاديمية
المؤلفون: Justyna Machaj
المصدر: Studia Filmoznawcze, Vol 45, Pp 273-290 (2024)
مصطلحات موضوعية: roy andersson, landscape, tableaux vivants, Visual arts, N1-9211, Arts in general, NX1-820
وصف الملف: electronic resource
-
5كتاب إلكتروني
المؤلفون: Preston, Carrie J.
المساهمون: Preston, Carrie J.
المصدر: Complicit Participation: The Liberal Audience for Theater of Racial Justice.
-
6كتاب إلكتروني
المؤلفون: Preston, Carrie J.
المساهمون: Preston, Carrie J.
المصدر: Complicit Participation: The Liberal Audience for Theater of Racial Justice.
-
7كتاب إلكتروني
المؤلفون: Manoorkar, Krishna B.Aff13, De Domenico, AndreaAff13, Palmigiano, AlessandraAff13, Aff14
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Hu, Mengjun, editorAff7, Cornelis, Chris, editorAff8, Zhang, Yan, editorAff9, Lingras, Pawan, editorAff10, Ślęzak, Dominik, editorAff11, Yao, JingTao, editorAff12
المصدر: Rough Sets : International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17–20, 2024, Proceedings, Part I. 14839:67-89
-
8كتاب إلكتروني
المؤلفون: Niederhauser, JohannesAff27, Brown, Chad E.Aff28, Kaliszyk, CezaryAff27, Aff29
المساهمون: Hartmanis, Juris, Founding EditorAff1, van Leeuwen, Jan, Series EditorAff2, Hutchison, David, Editorial Board MemberAff3, Kanade, Takeo, Editorial Board MemberAff4, Kittler, Josef, Editorial Board MemberAff5, Kleinberg, Jon M., Editorial Board MemberAff6, Kobsa, Alfred, Series EditorAff7, Mattern, Friedemann, Editorial Board MemberAff8, Mitchell, John C., Editorial Board MemberAff9, Naor, Moni, Editorial Board MemberAff10, Nierstrasz, Oscar, Series EditorAff11, Pandu Rangan, C., Editorial Board MemberAff12, Sudan, Madhu, Series EditorAff13, Terzopoulos, Demetri, Editorial Board MemberAff14, Tygar, Doug, Editorial Board MemberAff15, Weikum, Gerhard, Series EditorAff16, Vardi, Moshe Y, Series EditorAff17, Goos, Gerhard, Founding EditorAff18, Bertino, Elisa, Editorial Board MemberAff19, Gao, Wen, Editorial Board MemberAff20, Steffen, Bernhard, Editorial Board MemberAff21, Yung, Moti, Editorial Board MemberAff22, Woeginger, Gerhard, Editorial Board MemberAff23, Benzmüller, Christoph, editorAff24, Heule, Marijn J.H., editorAff25, Schmidt, Renate A., editorAff26
المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:86-104
-
9كتاب إلكتروني
المؤلفون: Alshammari, Maha OudahAff5, Ali, FaryadAff6
المساهمون: Ali, Shakir, editorAff1, Ashraf, Mohammad, editorAff2, De Filippis, Vincenzo, editorAff3, Rehman, Nadeem ur, editorAff4
المصدر: Advances in Ring Theory and Applications : WARA22, Messina, Italy, July 18–20, 2022. 443:29-60
-
10دورية أكاديمية
المؤلفون: Caballero, PabloAff1, IDs10992023097307_cor1, Valencia, Pablo
المصدر: Journal of Philosophical Logic. 53(1):223-245