Comunidad CONICET
Beca interna doctoral
Especialidad
Semántica de lenguajes de programación
Disciplina Científica
Informática y Comunicaciones
Tema
Contenido computacional de la lógica clásica a través de cálculos con verificaciones y refutaciones.
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Ver más información
Ver menos información
| Dirección: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Ver mapa
Formación Académica
2016 - 2025
Licenciado en Ciencias Matemáticas
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
Dirigido por:
MELGRATTI, HERNAN CLAUDIO
Carrera Investigador
MELGRATTI, Hernan Claudio
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto