Follow
M. Antonia Huertas
M. Antonia Huertas
Faculty of Computer Science, Universitat Oberta de Catalunya (UOC)
Verified email at uoc.edu
Title
Cited by
Cited by
Year
Teaching mathematics online in the European Area of Higher Education: an instructor's point of view
AA Juan, C Steegmann, A Huertas, M Jesus Martinez, J Simosa
International Journal of Mathematical Education in Science and Technology 42 …, 2011
912011
Mathematical e-learning: state of the art and experiences at the Open University of Catalonia
A Juan, A Huertas, C Steegmann, C Córcoles, C Serrat
International Journal of Mathematical Education in Science and Technology 39 …, 2008
772008
Lógica para principiantes
M Manzano, A Huertas
Anaya-Spain, 2004
602004
Teaching and learning logic in a virtual learning environment
A Huertas
Logic Journal of the IGPL 15 (4), 321-331, 2007
482007
E-learning de las asignaturas del ámbito matemático-estadístico en las universidades españolas: oportunidades, retos, estado actual y tendencias
C Steegmann, MA Huertas, ÁA Juan, M Prat
Rev. U. Soc. Conocimiento 5, 1, 2008
372008
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2), 209-238, 2014
312014
E-assessment system for skill and knowledge assessment in computer engineering education
E Hettiarachchi, MA Huertas, E Mor
International Journal of Engineering Education 31 (2), 529-540, 2015
302015
Aprendizaje virtual de las matemáticas
AA Juan Pérez, MA Huertas Sánchez, H Cuypers, B Loch
Revista de Universidad y Sociedad del Conocimiento, RUSC 9 (1), 86-91, 2012
272012
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies
AA Juan, MA Huertas, S Trenholm, C Steegmann
IGI Global, 2011
262011
Ten years of computer-based tutors for teaching logic 2000-2010: Lessons learned
A Huertas
International Congress on Tools for Teaching Logic, 131-140, 2011
262011
Skill and knowledge e-assessment: a review of the state of the art
E Hettiarachchi, MA Huertas, E Mor
IN3 Working Paper Series, 2013
222013
Mathematical e-learning
ÁA Juan, MA Huertas, H Cuypers, B Loch
RUSC, Universities and Knowledge Society Journal 9, 278-283, 2012
212012
Introducing a Formative E-Assessment System to Improve Online Learning Experience and Performance.
E Hettiarachchi, E Mor, MA Huertas, AE Guerrero-Roldán
J. Univers. Comput. Sci. 21 (8), 1001-1021, 2015
182015
Social networks for learning: wikis, blogs and tagging in education
MA Huertas, C Casado, C Córcoles, E Mor, AE Guerrero-Roldán
A. Szucs, A. & I. Bo. EDEN 2007 Annual Conference Book of Abstracts …, 2007
182007
Explicitando la interrelación entre las actividades de aprendizaje, el proceso de evaluación y la adquisición de competencias
AE Guerrero-Roldán, MA Huertas, E Mor, ME Rodríguez
RIED-Revista Iberoamericana de Educación a Distancia 16 (2), 127-146, 2013
172013
The SELL project: A learning tool for e-learning logic
A Huertas, JM Humet, L López, E Mor
Tools for Teaching Logic: Third International Congress, TICTTL 2011 …, 2011
172011
The Life and Work of Leon Henkin
M Manzano, I Sain, E Alonso
Studies in Universal Logic), Cham: Springer International Publishing. doi 10 …, 2014
122014
The logic of imagination acts: A formal system for the dynamics of imaginary worlds
J Casas-Roma, A Huertas, ME Rodríguez
Erkenntnis 86, 875-903, 2021
102021
Completeness in equational hybrid propositional type theory
M Manzano, M Martins, A Huertas
Studia Logica 107 (6), 1159-1198, 2019
102019
Enseñanza de las matemáticas asistida por las tecnologías del aprendizaje y la comunicación: el proyecto M@ thelearning
C Steegmann Pascual, AA Juan Pérez, MA Huertas Sánchez
Revista Iberoamericana de Educación 54 (4), 1-12, 2011
102011
The system can't perform the operation now. Try again later.
Articles 1–20