-
1تقرير
-
2تقرير
المؤلفون: Córdoba, Filip Cano, Judson, Samuel, Antonopoulos, Timos, Bjørner, Katrine, Shoemaker, Nicholas, Shapiro, Scott J., Piskac, Ruzica, Könighofer, Bettina
مصطلحات موضوعية: Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2307.01532
-
3تقرير
-
4
المؤلفون: Judson, Samuel, Elacqua, Matthew, Córdoba, Filip Cano, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J., Piskac, Ruzica
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computers and Society, Computer Science - Programming Languages, Computers and Society (cs.CY), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec4026ba488d485d34d6acde052b7f04