1. Repositori Institucional (O2)

Buscar por Autor

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 20 de 33  Siguiente >
Fecha de publicaciónTítuloAutor(es)
2011-03-18A classification of tools for learning logicHuertas, M. Antonia
2019-10-10A common frame for formal imaginationCasas-Roma, Joan; Huertas, M. Antonia; Rodríguez-González, M. Elena; Falmouth University; Universitat Oberta de Catalunya (UOC)
2014-07A semantics for equational hybrid propositional type theoryManzano Arjona, María; Martins, Manuel A.; Huertas, M. Antonia; Universidade de Aveiro; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC)
2015-06-26Análisis matemático del modelo educativo usando Facebook. Caso de estudio : Universidad Nacional de ChimborazoHidalgo Cajo, Byron Geovanny; Universitat Oberta de Catalunya; Huertas, M. Antonia
2012-01-15Aprendizaje virtual de las matemáticasJuan, Angel A.; Huertas, M. Antonia; Cuypers, Hans ; Loch, Birgit
2010-02-01Àlgebra, febrer 2010Fortuny, Gerard; GARCIA LOPEZ, ALFONSA; Juan, Angel A.; Parés Mariné, Núria; Pozo Montero, Francesc; Steegmann Pascual, Cristina; Vidal Seguí, Yolanda; Universitat Oberta de Catalunya; Huertas, M. Antonia; Lapedriza, Agata; Serrat Piè, Carles
2017-06-11Collaborative grid computing on RISC architecturesMuixi Mosquera, Marc; Universitat Oberta de Catalunya; Huertas, M. Antonia
2018-04-06Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination ActsCasas-Roma, Joan; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Huertas, M. Antonia; Rodríguez-González, M. Elena
2010-05Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemáticaSarasa Cabezuelo, Antonio; Universitat Oberta de Catalunya; Huertas, M. Antonia
2011-01-30Diseño de repositorios digitales interoperablesSarasa Cabezuelo, Antonio; Universitat Oberta de Catalunya; Huertas, M. Antonia
2012-03-06E-learning de las matemáticas universitarias : tendencias tecnológicas emergentes y adaptación al Espacio Europeo de Educación SuperiorSteegmann Pascual, Cristina; Huertas, M. Antonia; Juan, Angel A.
2010-02-01Formal Proof : Understanding, writing and evaluating proofs, february 2010Clarisó, Robert; Huertas, M. Antonia; Universitat Oberta de Catalunya; Megias, David
2010-11-15Herramienta de apoyo para el aprendizaje a distancia de la lógica en la ingeniería informáticaHuertas, M. Antonia; Mor, Enric; Guerrero-Roldán, Ana-Elena; Universitat Oberta de Catalunya (UOC)
2011-01Hybrid type theory: a quartet in four movementsAreces, Carlos; Blackburn, Patrick; Huertas, M. Antonia; Manzano Arjona, María; Universidad Nacional de Córdoba; University of Roskilde; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC)
2010-02-16Interactive calculus in a virtual learning environmentHuertas, M. Antonia
2015-08Introducing a formative e-assessment system to improve online learning experience and performanceMor, Enric; Huertas, M. Antonia; Guerrero-Roldán, Ana-Elena; Hettiarachchi, K.H. Enosha Lasanthi Warunika; Universitat Oberta de Catalunya (UOC); Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
2010-02-16Learning 2.0 : concepts and experiencesHuertas, M. Antonia
2010-02-16Learning 2.0 : Concepts and experiences with social networks and softwareCórcoles, César; Casado-Martínez, Carlos; Huertas, M. Antonia; Mor, Enric; Guerrero-Roldán, Ana-Elena
2011-02-01Lògica, febrer 2011Huertas, M. Antonia; Sesa i Nogueras, Enric; Universitat Oberta de Catalunya
2014-09Matemàtiques per a multimèdia I, setembre 2014Cruells Pagès, Pere; Linares-Mustarós, Salvador; Sáez Moreno, Germán; Trias Pairó, Joan; Viladevall Valldeperas, Queralt; Universitat Oberta de Catalunya; Huertas, M. Antonia
Mostrando resultados 1 a 20 de 33  Siguiente >