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
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
752008
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
742011
Lógica para principiantes
M Manzano, A Huertas
Anaya-Spain, 2004
552004
Teaching and learning logic in a virtual learning environment
A Huertas
Logic Journal of the IGPL 15 (4), 321-331, 2007
432007
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
292008
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2), 209-238, 2014
282014
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
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
242015
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies
AA Juan, MA Huertas, S Trenholm, C Steegmann
IGI Global, 2011
242011
Aprendizaje virtual de las matemáticas
ÁA Juan, MA Huertas, H Cuypers, B Loch
RUSC. Universities and Knowledge Society Journal 9 (1), 86-91, 2012
202012
Mathematical e-learning
ÁA Juan, MA Huertas, H Cuypers, B Loch
RUSC, Universities and Knowledge Society Journal 9 (1), 278-283, 2012
182012
Skill and knowledge e-assessment: a review of the state of the art
E Hettiarachchi, MA Huertas, E Mor
IN3 Working Paper Series, 2013
172013
Teoría de conjuntos
A Huertas, M Manzano
Recuperado el 12, 2002
172002
Social networks for learning: wikis, blogs and tagging in education
MA Huertas, C Casado, C Córcoles, E Mor, AE Guerrero-Roldán
Proceedings of EDEN 2007, 2007
162007
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
152013
The SELL project: A learning tool for e-learning logic
A Huertas, JM Humet, L López, E Mor
International Congress on Tools for Teaching Logic, 123-130, 2011
152011
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
132015
The Life and Work of Leon Henkin
M Manzano, I Sain, E Alonso
Birkhauser, 2014
102014
Completeness in equational hybrid propositional type theory
M Manzano, M Martins, A Huertas
Studia Logica 107 (6), 1159-1198, 2019
92019
A semantics for equational hybrid propositional type theory
M Manzano, MA Martins, A Huertas
Bulletin of the Section of Logic 43 (3), 4, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20