Browsing by Author Cerda Jacobo, Jaime

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 25 to 25 of 25 < previous 
PreviewIssue DateTitleAuthor(s)
FIE-M-2025-0298.pdf.jpg2025-02Translating thought: advancing first-order logic interpretation with Llama2 and Z3 SolverCerda Jacobo, Jaime; Pelayo Gómez, Ángel Misael