Closed Types for Logic Programming

Detalhes bibliográficos
Autor principal: João Luís Alves Barbosa (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2016
Assuntos:
Ciências exactas e naturais
Natural sciences
Texto completo:https://hdl.handle.net/10216/85696
País:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/85696

Texto Completo

https://hdl.handle.net/10216/85696

Registros relacionados