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
872011
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
792008
Lógica para principiantes
M Manzano, A Huertas
Anaya-Spain, 2004
592004
Teaching and learning logic in a virtual learning environment
A Huertas
Logic Journal of the IGPL 15 (4), 321-331, 2007
452007
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
352008
Completeness in hybrid type theory
C Areces, P Blackburn, A Huertas, M Manzano
Journal of Philosophical Logic 43 (2-3), 209-238, 2014
312014
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
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
292015
Teaching Mathematics Online: Emergent Technologies and Methodologies: Emergent Technologies and Methodologies
AA Juan, MA Huertas, S Trenholm, C Steegmann
IGI Global, 2011
252011
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
252011
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
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
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
172015
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
Teoría de conjuntos
A Huertas, M Manzano
Recuperado el 12, 2002
122002
The Life and Work of Leon Henkin
M Manzano, I Sain, E Alonso
Studies in Universal Logic), Cham: Springer International Publishing. doi 10 …, 2014
112014
Completeness in equational hybrid propositional type theory
M Manzano, M Martins, A Huertas
Studia Logica 107 (6), 1159-1198, 2019
102019
Rigid first-order hybrid logic
P Blackburn, M Martins, M Manzano, A Huertas
Logic, Language, Information, and Computation: 26th International Workshop …, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20