Biblioteca Geral da UE 
Texto
Título:Controlo sequencial de programas em lógica 
Autor:Porto, António Beça Gonçalves
Formato:Texto
Publicação:Lisboa : [s.n.], 1984
Descrição física:190 p. ; 30 cm
Notas:Tese de doutoramento, Informática, Universidade Nova de Lisboa, 1984
Assunto:Doutoramento -- Informática
Tese -- Universidade Nova de Lisboa. Departamento de Informática -- 1984
Informática -- Lógica -- Programação automática