Proyectos finalizados

2018

  1. Logic and Reasoning

    FRANCISCA LUCIO CARRASCO

  2. Automated Reasoning Tools and Systems

    FRANCISCA LUCIO CARRASCO

2017

  1. Modelos y Métodos Computacionales para Datos Masivos Estructurados

    FRANCISCA LUCIO CARRASCO

2016

  1. BASQUE ADVANCED INFORMATICS LABORATORY

    AGUSTIN ARRUABARRENA FRUTOS

2015

  1. LoRea (Logic and Reasoning)

    FRANCISCA LUCIO CARRASCO

2014

  1. LOGIC, REASONING AND COMPLEXITY

    FRANCISCA LUCIO CARRASCO

2012

  1. DEMOSTRADORES DE TEOREMAS PARA PLTL

    FRANCISCA LUCIO CARRASCO

  2. LOGIC AND REASONING

    FRANCISCA LUCIO CARRASCO

2010

  1. IX JORNADAS DE PROGRAMACIÓN Y LENGUAJES (PROLE 2009)

    FRANCISCA LUCIO CARRASCO

  2. PROLE 2009- IX JORNADAS SOBRE PROGRAMACION Y LENGUAJES

    FRANCISCA LUCIO CARRASCO