Fundamentos logicos del programa de razonamiento automatico Otter
Autor principal: | Miranda Perea, Favio Ezequiel |
---|---|
Otras Contribuciones: | Amor Montaño, Jose Alfredo (Asesor) |
Formato: | Tesis de maestría |
Lenguaje: | Español |
Publicado: |
1999
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000272882 http://132.248.9.195/pd1999/272882/Index.html |
Ejemplares similares
-
La computadora, herramienta para desarrollar el razonamiento logico en los jovenes
por: Oñate Ocaña, Cecilia
Publicado: (1991) -
Juego, cuento y crezco : un espacio para la comprensión lectora y el razonamiento lógico matemático
por: Vázquez Cangas, María Verónica
Publicado: (2013) -
El razonamiento logico juridico al momento de ofrecer la testimonial dentro del juicio ejecutivo mercantil en el estado de Michoacan
por: Castillo Becerra, Ana Luisa
Publicado: (2006) -
Desarrollo de problemas de razonamiento lógico para la enseñanza de la química en el nivel medio superior
por: Mata Franco, Reyes Martín
Publicado: (2011) -
Abduccion en logica de primer orden : razonamiento automatico a traves de tablas semanticas
por: Reyes Cabello, Araceli Liliana
Publicado: (2005)