-
1تقرير
المؤلفون: Skapars, Adrians, Manino, Edoardo, Sun, Youcheng, Cordeiro, Lucas C.
مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2407.11059
-
2
-
3تقرير
-
4تقرير
المؤلفون: Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2406.17862
-
5تقرير
-
6تقرير
-
7
-
8تقرير
-
9تقرير
المؤلفون: Braberman, Víctor A., Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G., Cordeiro, Lucas C., de Freitas, Rosiane
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Machine Learning, F.3.1, D.2.4, D.2.5, I.2.7
URL الوصول: http://arxiv.org/abs/2404.09384
-
10تقرير