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 31  next >
Issue DateTitleAuthor(s)
2011-03-18A classification of tools for learning logicHuertas Sánchez, María Antonia
2019-10-10A common frame for formal imaginationCasas Roma, Joan; Huertas Sánchez, María 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 Sánchez, María Antonia; Universidade de Aveiro; Universidad de Salamanca; Universitat Oberta de Catalunya (UOC)
2012-01-15Aprendizaje virtual de las matemáticasJuan Pérez, Ángel Alejandro; Huertas Sánchez, María Antonia; Cuypers, Hans; Loch, Birgit
2010-02-01Àlgebra, febrer 2010Fortuny Anguera, Gerard; García López, Alfonsa; Juan Pérez, Ángel Alejandro; Parés Mariné, Núria; Pozo Montero, Francesc; Steegmann Pascual, Cristina; Vidal Seguí, Yolanda; Universitat Oberta de Catalunya; Huertas Sánchez, María Antonia; Lapedriza García, Àgata; Serrat Piè, Carles
2017-06-11Collaborative grid computing on RISC architecturesMuixi Mosquera, Marc; Universitat Oberta de Catalunya; Freitag, Félix
2018-10-20Completeness in Equational Hybrid Propositional Type TheoryManzano Arjona, María; Huertas Sánchez, María Antonia; Martins, Manuel A.
2018-04-06Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination ActsCasas Roma, Joan; Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3); Huertas Sánchez, María 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 Sánchez, María Antonia
2011-01-30Diseño de repositorios digitales interoperablesSarasa Cabezuelo, Antonio; Universitat Oberta de Catalunya; Huertas Sánchez, María Antonia
2010-02-01Formal Proof : Understanding, writing and evaluating proofs, february 2010Clarisó Viladrosa, Robert; Huertas Sánchez, María Antonia; Universitat Oberta de Catalunya; Megías Jiménez, David
2010-11-15Herramienta de apoyo para el aprendizaje a distancia de la lógica en la ingeniería informáticaHuertas Sánchez, María Antonia; Mor Pera, Enric; Guerrero Roldán, Ana Elena; Universitat Oberta de Catalunya (UOC)
2011-01Hybrid type theory: a quartet in four movementsAreces, Carlos; Blackburn, Patrick; Huertas Sánchez, María 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 Sánchez, María Antonia
2015-08Introducing a formative e-assessment system to improve online learning experience and performanceMor Pera, Enric; Huertas Sánchez, María 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 Sánchez, María Antonia
2010-02-16Learning 2.0 : Concepts and experiences with social networks and softwareCórcoles Briongos, César Pablo; Casado Martínez, Carlos; Huertas Sánchez, María Antonia; Mor Pera, Enric; Guerrero Roldán, Ana Elena
2011-02-01Lògica, febrer 2011Huertas Sánchez, María 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 Sánchez, María Antonia
2014-09Matemáticas para multimedia I, septiembre 2014Cruells Pagès, Pere; Linares Mustarós, Salvador; Sáez Moreno, Germán; Trias Pairó, Joan; Viladevall Valldeperas, Queralt; Universitat Oberta de Catalunya; Huertas Sánchez, María Antonia
Showing results 1 to 20 of 31  next >