Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
Type systems
2
ARTIFICIAL INTELLIGENCE
1
Abstract Machine
1
Action Theories
1
Calculus
1
Calculus Institute of Buenos Aires
1
Cognitive Robotics
1
Compilation
1
Computación
1
Computer science
1
Concept Languages
1
Concept Taxonomíc and Tableaux
1
Concurrency
1
Concurrent programming
1
Correspondence assertions
1
Curry-Howard Isomorphism
1
Curry-de Bruijn-Howard isomorphism
1
Cálculo
1
Duration Calculus
1
Estrategias
1
Explicit substitutions
1
Higher-order rewriting
1
Historia de la Informática
1
History of Informatics
1
Informática
1
Instituto de Cálculo de Buenos Aires
1
Intelligent agents
1
Justification Logic
1
Lamda calculus
1
-
1
-
2
-
3
-
4por Bonelli, EduardoMaterias: “...Linear Lambda Calculus...”
Publicado 2006
Aportado por: SEDICI (UNLP)Articulo -
5
-
6
-
7por Tavera Romero, Carlos Andrés, Díaz Frías, Juan Francisco, Soto Vargas, Aybert, Gallego Varona, Juan Javier, Giraldo, Ánderson JojoaMaterias: “...computational calculus...”
Publicado 2007
Aportado por: SEDICI (UNLP)Objeto de conferencia -
8por Bonelli, EduardoMaterias: “...Lamda calculus...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo -
9por Lizcano, Luis I.Materias: “...Calculus...”
Publicado 2003
Aportado por: SEDICI (UNLP)Objeto de conferencia -
10La belleza de la programación : Los inicios de un nuevo campo científico en Buenos Aires (1961-1966)por Carnota, Raúl JorgeMaterias: “...Calculus Institute of Buenos Aires...”
Publicado 2022
Aportado por: SEDICI (UNLP)Objeto de conferencia