OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Subject: Cálculo Year: 2005

Sort by Score Title Year -

1-2 from 2 results (0.008 seconds)

Title: Autismo y cálculo II: propuesta de intervención para el desarrollo funcional de la aritmética informal
Author: Arias Lanero, Lucía
Language: Español
Repository: 37
Subject: Ciencias Informáticas / educación especial / Autismo / Intervención Educación / Aritmética Informal / Cálculo / Conteo

Acceder
Title: Normalisation for higher-order calculi with explicit substitutions
Author: Bonelli, Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Explicit substitutions / Higher-order rewriting / Lamda calculus / Needed-strategies / Normalisation / Normalización / Estrategias / Cálculo / Substituciones explícitas

Acceder

« Previous 1 Next »