Please use this identifier to cite or link to this item: http://hdl.handle.net/10216/64270
Author(s): Jorge, Alípio Mário Guedes
Title: Indução iterativa de programas lógicos : uma abordagem à síntese de programas lógicos a partir de especificações incompletas : [Dissertação de Doutoramento]
Publisher: Porto : Faculdade de Ciências da Universidade do Porto
Issue Date: 1998
URI: http://hdl.handle.net/10216/64270
Catalogue Link: http://catalogo.up.pt/F?func=find-b&local_base=FCB01&find_code=SYS&request=000002260
Document Type: Tese
Rights: openAccess
Appears in Collections:FCUP - Tese

Files in This Item:
File Description SizeFormat 
2260_234_TD_01_C.pdfVersão a Cores59.7 MBAdobe PDFThumbnail
View/Open
2260_234_TD_01_P.pdfVersão a Preto & Branco11.35 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.