Search
Add filters:
Use filters to refine the search results.
Results 1-2 of 2.
- previous page
- 1
- next page
Item hits:
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 | ||
1998 | Formalización del Razonamiento | Llorens Largo, Faraón; Escolano, Francisco; Pujol, Mar; Colomina Pardo, Otto |