1. Repositorio Institucional de la Universidad Michoacana de San Nicolás de Hidalgo

Buscar por Materia Lógica de primer orden

Ir a: 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
O introducir las primeras letras:  
Mostrando resultados 1 a 2 de 2
Vista previaFecha de publicaciónTítuloAutor(es)
FISMAT-L-2021-1409.pdf.jpg2021-11Aportaciones al desarrollo de software asistente para pruebas matemáticasValero Elizondo, Luis; Pelayo Gómez, Ángel Misael
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
Mostrando resultados 1 a 2 de 2