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]

Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/64270

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Bradzil, Pavel, orientador de tese	pt_PT
dc.creator	Jorge, Alípio Mário Guedes
dc.date.accessioned	2012-10-26T17:00:59Z	-
dc.date.available	2012-10-26T17:00:59Z	-
dc.date.issued	1998	pt_PT
dc.identifier.other	000002260	pt_PT
dc.identifier.other	234	pt_PT
dc.identifier.uri	http://hdl.handle.net/10216/64270	-
dc.language	por	pt_PT
dc.publisher	Porto : Faculdade de Ciências da Universidade do Porto	pt_PT
dc.rights	openAccess	pt_PT
dc.source.uri	http://catalogo.up.pt/F?func=find-b&local_base=FCB01&find_code=SYS&request=000002260	pt_PT
dc.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]	pt_PT
dc.type	Tese	pt_PT
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