Mostrando
1 - 6
Resultados de
6
Para Buscar '
Arbiser, A.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Arbiser, A.
Mostrando
1 - 6
Resultados de
6
Para Buscar '
Arbiser, A.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Towards the unification of intuitive and formal game concepts with applications to computer chess
por
Arbiser
,
A
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
2
The expansion problem in lambda calculi with explicit substitution
por
Arbiser
,
A
.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
3
On a model of crime and punishment dynamics
por
Aprea, M.
,
Arbiser
,
A
.
,
Monge, M.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
4
The -λ Calculus with constructors: Syntax, confluence and separation
por
Arbiser
,
A
.
,
Miquel, A.
,
Ros, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
5
The weak normalization of the simply typed λse-calculus
por
Arbiser
,
A
.
,
Kamareddine, F.
,
Rios, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
Agregar a favoritos
Guardado en:
6
A lambda-calculus with constructors
por
Arbiser
,
A
.
,
Miquel, A.
,
Ríos, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Calculations
Explicit substitution
Lambda calculus
Pattern matching
Artificial intelligence
Artificial societies
Biomineralization
Chess
Church-Rosser property
Computer systems
Construction permits
Context-free
Crime
Crime and punishment
Crime and punishments
Criminal activities
Critical value
Difference equations
Differentiation (calculus)
Divide-and-conquer technique
Economic crime
Evaluation function
Expansion
Function evaluation
Game theory
Heuristics
Interactive computer graphics
Intuition
Lambda upsilon
Lambda's
Cargando...