المؤلفون: Mora, Federico, Wong, Justin, Lepe, Haley, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E., Polgreen, Elizabeth, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Machine Learning

الوصول الحر: http://arxiv.org/abs/2406.03636Test

المؤلفون: Shah, Amar, Mora, Federico, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2310.12234Test

المؤلفون: Li, Yixuan, Mora, Federico, Polgreen, Elizabeth, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2306.00521Test

المؤلفون: Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A., Mora, Federico, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2208.03699Test

المؤلفون: Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

مصطلحات موضوعية: Computer Science - Computation and Language

الوصول الحر: http://arxiv.org/abs/2105.07220Test

المؤلفون: Arroyo Hernández, Jorge, Mora Mora, Federico, Trigueros Rodríguez, Eithel, Porras Lizano, Karen

المصدر: Mathematics, Education and Internet Journal; Vol. 24 No. 2 (2024): March-August 2024 ; Revista Digital: Matemática, Educación e Internet; Vol. 24 Núm. 2 (2024): Marzo-Agosto 2024 ; Revista digital Matemática, Educação e Internet; v. 24 n. 2 (2024): Marzo-Agosto 2024 ; 1659-0643

وصف الملف: application/pdf

العلاقة: https://revistas.tec.ac.cr/index.php/matematica/article/view/6932/6733Test; https://revistas.tec.ac.cr/index.php/matematica/article/view/6932/6812Test; https://revistas.tec.ac.cr/index.php/matematica/article/view/6932/6842Test; https://revistas.tec.ac.cr/index.php/matematica/article/view/6932/6873Test; https://revistas.tec.ac.cr/index.php/matematica/article/view/6932Test

الإتاحة: https://doi.org/10.18845/rdmei.v24i2.6932Test
https://revistas.tec.ac.cr/index.php/matematica/article/view/6932Test

المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2010.07253Test

المؤلفون: Mora, Federico, Cheang, Kevin, Polgreen, Elizabeth, Seshia, Sanjit A.

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/2007.06760Test

المؤلفون: Pimpalkhare, Nikhil, Mora, Federico, Polgreen, Elizabeth, Seshia, Sanjit A

مصطلحات موضوعية: Artificial Intelligence & Image Processing

وصف الملف: application/pdf

الوصول الحر: https://escholarship.org/uc/item/6484j1kwTest

المؤلفون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

المساهمون: Berzish, Murphy, Kulczynski, Mitja, Mora, Federico, Manea, Florin, Day, Joel D., Nowotka, Dirk, Ganesh, Vijay, Silva, Alexandra, Leino, K. Rustan M.

العلاقة: https://resolver.sub.uni-goettingen.de/purl?gro-2/136391Test

الإتاحة: https://doi.org/10.1007/978-3-030-81688-9_14Test
https://resolver.sub.uni-goettingen.de/purl?gro-2/136391Test