Indução iterativa de programas lógicos: <uma >abordagem à síntese de programas lógicos a partir de especificação incompletas

Título:	Indução iterativa de programas lógicos: <uma >abordagem à síntese de programas lógicos a partir de especificação incompletas
Data:	1998
Descrição:	Monografia
	Bibliografia, p. 201-208
	Tese dout. Ciências de Computadores, Univ. do Porto, 1998
Tipo:	material textual, impresso
	Texto policopiado]
Idioma:	Português