-
1تقرير
المؤلفون: de Lima, Thaynara Arielly, Avelar, Andréia Borges, Galdino, André Luiz, Ayala-Rincón, Mauricio
المصدر: EPTCS 402, 2024, pp. 18-33
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2404.14920
-
2تقرير
-
3كتاب إلكتروني
المؤلفون: Ayala-Rincón, MauricioAff27, Cerna, David M.Aff28, Barragán, Andrés Felipe GonzálezAff27, Kutsia, TemurAff29
المساهمون: 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 II. 14740:317-337
-
4
-
5تقرير
المؤلفون: Ayala-Rincon, Mauricio, Bonelli, Eduardo
المصدر: EPTCS 357, 2022
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2204.03415
-
6دورية أكاديمية
المؤلفون: Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M.Aff3, IDs1081702309669z_cor3, Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
المصدر: Journal of Automated Reasoning. 67(4)
-
7دورية أكاديمية
المصدر: In Swarm and Evolutionary Computation August 2024 89
-
8كتاب إلكتروني
المؤلفون: Ayala-Rincón, MauricioAff9, Fernández, MaribelAff10, Silva, Gabriel FerreiraAff9, Kutsia, TemurAff11, Nantes-Sobrinho, DanieleAff9, Aff12
المساهمون: Goos, Gerhard, Founding 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, Dubois, Catherine, editorAff7, Kerber, Manfred, editorAff8
المصدر: Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings. 14101:53-68
-
9تقرير
-
10تقرير
المؤلفون: Ayala-Rincón, Mauricio, de Lima, Thaynara Arielly
المصدر: EPTCS 328, 2020, pp. 1-17
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, I.2.3
URL الوصول: http://arxiv.org/abs/2010.16013