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
942011
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
802008
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
382008
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
322015
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2), 209-238, 2014
322014
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
302012
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
272011
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies
AA Juan, MA Huertas, S Trenholm, C Steegmann
IGI Global, 2011
252011
Mathematical e-learning
ÁA Juan, MA Huertas, H Cuypers, B Loch
RUSC, Universities and Knowledge Society Journal 9, 278-283, 2012
242012
Skill and knowledge e-assessment: A review of the state of the art
E Hettiarachchi, MA Huertas, E Mor
IN3 Working Paper Series, 2013
232013
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
212015
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
152014
Solving MaxSAT with natural deduction
J Casas-Roma, A Huertas, F Manyà
Recent Advances in Artificial Intelligence Research and Development, 186-195, 2017
122017
Herramienta de Apoyo para el Aprendizaje a Distancia de la Lógica en la Ingeniería Informática
MA Huertas, EM Pera, AEG Roldán
Revista de Educación a Distancia (RED), 2010
122010
Completeness in equational hybrid propositional type theory
M Manzano, M Martins, A Huertas
Studia Logica 107 (6), 1159-1198, 2019
112019
The system can't perform the operation now. Try again later.
Articles 1–20