Go to main content
Go
Navigation menu
Language
Valencià
Español
English
Home
Contact
Help
Sign on to:
My RUA
Receive email updates
Edit Profile
Go
Advanced
Teaching
Institutional
Research
Journals and Proceedings
RUA
Search
Search:
All of RUA
Journals and Conferences
Conferences
Journals
for
Current filters:
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Keyword
Date Issued
Document type
Language
Center, unit or service
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-7 of 7.
previous
page
1
next
page
Item hits:
Items
Access
Preview
Issue Date
Title
Author(s)
1999
Deducción natural versus computación
Llorens Largo, Faraón
;
Satorre Cuerda, Rosana
;
Escolano, Francisco
;
Arques Corrales, Pilar
1999
La programación en la licenciatura en matemáticas
Llorens Largo, Faraón
;
Molina-Carmona, Rafael
;
Rizo, Ramón
;
Satorre Cuerda, Rosana
2001
Los Juegos como Herramienta Docente. Formalización de Juegos Lógicos en Prolog
Llorens Largo, Faraón
;
Castel de Haro, María Jesús
;
Mora Lizán, Francisco José
;
Villagrá-Arnedo, Carlos-José
2000
Herramienta para la enseñanza de la deducción natural
Llorens Largo, Faraón
;
Mira, Sergio
2004
Decálogo para el profesor novel
Llorens Largo, Faraón
;
Satorre Cuerda, Rosana
2004
Un modo de entender la programación
Satorre Cuerda, Rosana
;
Compañ, Patricia
;
Llorens Largo, Faraón
1998
Formalización del Razonamiento
Llorens Largo, Faraón
;
Escolano, Francisco
;
Pujol, Mar
;
Colomina Pardo, Otto
Discover
Author
4
Satorre Cuerda, Rosana
2
Escolano, Francisco
1
Arques Corrales, Pilar
1
Castel de Haro, María Jesús
1
Colomina Pardo, Otto
.
Author -
next >
Subject
7
Informática
Date issued
2
2004
1
2001
1
2000
2
1999
1
1998
Document type
7
Conference object