Please use this identifier to cite or link to this item:
https://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 |
| DOI: | 10.34626/qqpn-gp80 |
| 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 | Size | Format | |
|---|---|---|---|---|
| 2260_234_TD_01_C.pdf | Versão a Cores | 59.7 MB | Adobe PDF |  View/Open |
| 2260_234_TD_01_P.pdf | Versão a Preto & Branco | 11.35 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.