Indução iterativa de programas lógicos : uma abordagem à síntese de programas l...

• Author(s): Jorge, Alípio Mário Guedes
• Date: 1998
• Persistent ID: http://hdl.handle.net/10216/64270
• Origin: Repositório Aberto da Universidade do Porto
• Document Type: Doctoral Thesis
• Language: Portuguese
• Advisor(s): Bradzil, Pavel, orientador de tese