JOSE
GAINTZARAIN IBARMIA
PROFESORADO TITULAR DE UNIVERSIDAD
Proyectos vigentes
-
LoRea (Logic and Reasoning)
MONTSERRAT HERMO HUGUET
Proyectos finalizados
2018
-
Logic and Reasoning
FRANCISCA LUCIO CARRASCO
-
Automated Reasoning Tools and Systems
FRANCISCA LUCIO CARRASCO
2017
-
Modelos y Métodos Computacionales para Datos Masivos Estructurados
FRANCISCA LUCIO CARRASCO
2016
-
BASQUE ADVANCED INFORMATICS LABORATORY
AGUSTIN ARRUABARRENA FRUTOS
2015
-
LoRea (Logic and Reasoning)
FRANCISCA LUCIO CARRASCO
2014
-
LOGIC REASONING AND COMPLEXITY
FRANCISCA LUCIO CARRASCO
2012
-
DEMOSTRADORES DE TEOREMAS PARA PLTL
FRANCISCA LUCIO CARRASCO
-
LOGIC AND REASONING
FRANCISCA LUCIO CARRASCO
2010
-
IX JORNADAS DE PROGRAMACIÓN Y LENGUAJES (PROLE 2009)
FRANCISCA LUCIO CARRASCO
-
PROLE 2009- IX JORNADAS SOBRE PROGRAMACION Y LENGUAJES
FRANCISCA LUCIO CARRASCO