Capítulos de libros
URI permanente para esta colección
Examinar
Envíos recientes
Ítem Combining interactive and automatic reasoning in first order theories of functional programs.(Birkedal, 2012-04-01) Bove, Ana; Dybjer, Peter; Sicard Ramírez, AndrésWe propose a new approach to the computer-assisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel?s first order theory of combinatory formal arithmetic with positive inductÍtem ESTRUCTURACIÓN DE UN PLAN CURRICULAR POR COMPETENCIAS MEDIANTE MÓDULOS(Red Durango de Investigadores Educativos A. C., 2012-10-01) CORREA, FRANCISCO JOSEÍtem Biomedical Computer Vision Using Computer Algebra: Analysis of a Case of Rhinocerebral Mucormycosis in a Diabetic Boy(Springer Berlin Heidelberg, 2010-01-01) Mario C. Vélez-Gallego; Giraldo JOComputer algebra is applied to biomedical computer vision. Specifically certain biomedical images resulting from a case of rhinocerebral mucormysocis in a diabetic boy are analyzed using techniques in computational geometry and in algebraic-geometricÍtem Red de Media Técnica en Informática de Antioquia: años de aprendizajes y conocimientos Compartidos(Corporación Colombia Digital, 2012-03-01) Correa, F.J.Presentamos la Red de Media Técnica en Informática de Antioquia, RMTI. Mostramos el esquema organizacional y administrativo partiendo de los elementos teóricos básicos y de la experiencia adquirida.Ítem Appendix: Subroutines and M-functions(2004-01-01) Sicard, Andrés