M. Antonia Huertas
M. Antonia Huertas
Faculty of Computer Science, Universitat Oberta de Catalunya (UOC)
Verified email at
Cited by
Cited by
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
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
Lógica para principiantes
M Manzano, A Huertas
Anaya-Spain, 2004
Teaching and learning logic in a virtual learning environment
A Huertas
Logic Journal of the IGPL 15 (4), 321-331, 2007
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
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2-3), 209-238, 2014
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
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
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies
AA Juan, MA Huertas, S Trenholm, C Steegmann
IGI Global, 2011
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
Skill and knowledge e-assessment: A review of the state of the art
E Hettiarachchi, MA Huertas, E Mor
IN3 Working Paper Series, 2013
Mathematical e-learning
ÁA Juan, MA Huertas, H Cuypers, B Loch
RUSC, Universities and Knowledge Society Journal 9, 278-283, 2012
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
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
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
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
Teoría de conjuntos
A Huertas, M Manzano
Recuperado el 12, 2002
The Life and Work of Leon Henkin
M Manzano, I Sain, E Alonso
Studies in Universal Logic), Cham: Springer International Publishing. doi 10 …, 2014
Completeness in equational hybrid propositional type theory
M Manzano, M Martins, A Huertas
Studia Logica 107 (6), 1159-1198, 2019
Rigid first-order hybrid logic
P Blackburn, M Martins, M Manzano, A Huertas
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20