Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Teses
    supervisionadas

    Teses supervisionadas por Ricardo Rocha

    Logic Programming Environments with Advanced Parallelism

    Autor João Pedro Barreiros Nunes dos Santos

    Grau MSc

    Ano 2016

    Instituição UP-FCUP

    Towards intelligent clinical decision support systems

    Autor Joana Sílvia Santos Côrte-Real

    Grau MSc

    Ano 2015

    Instituição UP-FCUP

    Linear Logic and Coordination for Parallel Programming

    Autor Flávio Manuel Fernandes Cruz

    Grau MSc

    Ano 2015

    Logic Programming Environments with Advanced Parallelism

    Autor João Pedro Barreiros Nunes dos Santos

    Grau MSc

    Ano 2014

    Instituição UP-FCUP

    Linear logic and coordination for parallel programing

    Autor Flávio Manuel Fernandes Cruz

    Grau MSc

    Ano 2014

    Instituição UP-FCUP

    Multithreaded Tabling for Logic Programming

    Autor Miguel João Gonçalves Areias

    Grau MSc

    Ano 2014

    Instituição UP-FCUP

    • 2
    • 2