Lógicas para la red

by Antonia HUERTAS
Published 2009-09-01

Endoscopic removal of intrauterine device penetrated through the rectal wall Extracción endoscópica de dispositivo intrauterino penetrado en recto

by María Antonia Huertas-Velasco, Mariano Gómez-Rubio
Published 2012-08-01

Hybrid Type Theory: A Quartet in Four Movements

by Antonia Huertas, María Manzano, Patrick Blackburn, Carlos Areces
Published 2011-08-01

Hybrid Type Theory: A Quartet in Four Movements

by Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
Published 2011-05-01

Herramienta de Apoyo para el Aprendizaje a Distancia de la Lógica en la Ingeniería Informática

by Maria Antonia Huertas, Enric Mor Pera, Ana-Elena Guerrero-Roldán
Published 2010-01-01

Enseñanza de las matemáticas asistida por las tecnologías del aprendizaje y la comunicación: el proyecto M@thelearning

by Cristina Steegmann Pascual, Ángel Alejandro Juan Pérez, María Antonia Huertas Sánchez
Published 2011-06-01

Explaining the inter-relationship between learning activities, the evaluation process and the acquisition of competences

by Ana Elena Guerrero-Roldán, María Antonia Huertas, Enric Mor, María Elena Rodríguez
Published 2013-07-01