1. Repositori Institucional (O2)

Browsing by Author

Jump to: 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
or enter first few letters:  
Showing results 1 to 20 of 34  next >
Issue DateTitleAuthor(s)
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; García López, 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-10-20Completeness in Equational Hybrid Propositional Type TheoryManzano Arjona, María; Martins, Manuel A.; 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
Showing results 1 to 20 of 34  next >