Skip navigation
Universitat Oberta de Catalunya
EN
català
español
english
Universitat Oberta
de Catalunya
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Issue Date
Subject
Help
Log in
Log in
Receive email
updates
Edit Profile
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 31
next >
Issue Date
Title
Author(s)
2011-03-18
A classification of tools for learning logic
Huertas Sánchez, María Antonia
2019-10-10
A common frame for formal imagination
Casas Roma, Joan
;
Huertas Sánchez, María Antonia
;
Rodríguez-González, M. Elena
;
Falmouth University
;
Universitat Oberta de Catalunya (UOC)
2014-07
A semantics for equational hybrid propositional type theory
Manzano 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-15
Aprendizaje virtual de las matemáticas
Juan Pérez, Ángel Alejandro
;
Huertas Sánchez, María Antonia
;
Cuypers, Hans
;
Loch, Birgit
2010-02-01
Àlgebra, febrer 2010
Fortuny 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-11
Collaborative grid computing on RISC architectures
Muixi Mosquera, Marc
;
Universitat Oberta de Catalunya
;
Freitag, Félix
2018-10-20
Completeness in Equational Hybrid Propositional Type Theory
Manzano Arjona, María
;
Huertas Sánchez, María Antonia
;
Martins, Manuel A.
2018-04-06
Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts
Casas Roma, Joan
;
Universitat Oberta de Catalunya. Internet Interdisciplinary Institute (IN3)
;
Huertas Sánchez, María Antonia
;
Rodríguez González, M. Elena
2010-05
Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática
Sarasa Cabezuelo, Antonio
;
Universitat Oberta de Catalunya
;
Huertas Sánchez, María Antonia
2011-01-30
Diseño de repositorios digitales interoperables
Sarasa Cabezuelo, Antonio
;
Universitat Oberta de Catalunya
;
Huertas Sánchez, María Antonia
2010-02-01
Formal Proof : Understanding, writing and evaluating proofs, february 2010
Clarisó Viladrosa, Robert
;
Huertas Sánchez, María Antonia
;
Universitat Oberta de Catalunya
;
Megías Jiménez, David
2010-11-15
Herramienta de apoyo para el aprendizaje a distancia de la lógica en la ingeniería informática
Huertas Sánchez, María Antonia
;
Mor Pera, Enric
;
Guerrero Roldán, Ana Elena
;
Universitat Oberta de Catalunya (UOC)
2011-01
Hybrid type theory: a quartet in four movements
Areces, 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-16
Interactive calculus in a virtual learning environment
Huertas Sánchez, María Antonia
2015-08
Introducing a formative e-assessment system to improve online learning experience and performance
Mor 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-16
Learning 2.0 : concepts and experiences
Huertas Sánchez, María Antonia
2010-02-16
Learning 2.0 : Concepts and experiences with social networks and software
Có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-01
Lògica, febrer 2011
Huertas Sánchez, María Antonia
;
Sesa i Nogueras, Enric
;
Universitat Oberta de Catalunya
2014-09
Matemàtiques per a multimèdia I, setembre 2014
Cruells 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-09
Matemáticas para multimedia I, septiembre 2014
Cruells 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