Go to:
Logótipo
You are in:: Start > Projetos / Dissertações / Teses > Tese de Mestrado em Ciência de Computadores
Map of Premises
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática
Options

Tese de Mestrado em Ciência de Computadores

Closed Types for Logic Programming

Student: João Luis Alves Barbosa
Nº de Estudante: 201100364
Orientadores: António Mário da Silva Marcos Florido
Coorientadores: Vitor Manuel de Morais Santos Costa
 
Status: Concluído
Desde: 06-SET-2016
 
Start: 31-AGO-2015
Entrega da Tese: 16-SET-2016
Defence: 06-SET-2016
   
Título da Tese: Closed Types for Logic Programming
Título Provisório: Closed Types for Logic Programming

Elementos do Júri

Name Role
Sandra Alves Presidente
Salvador Abreu Vogal
Mário Florido Vogal
Recommend this page Top
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2022-09-30 at 14:36:23 | Reports Portal