Data/hora: 16/06/2024 01:13:35

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	06/09/1996	
Data da última atualização: 	31/08/2007	
Autoria: 	DAVIS, R. E.	
Título: 	Runnable specification as a design tool.	
Ano de publicação: 	1982	
Fonte/Imprenta: 	In: CLARK, K.L.; TARNLUND, S.-A. (Ed.). Logic programming. London: Academic Press, 1982.	
Páginas: 	p.141-149.	
Idioma: 	Inglês	
Conteúdo: 	Equations versus clauses. An example specification. Querying the specification. 	
Palavras-Chave: 	Programação lógica.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (4036-1) - ADD - PL - -- - 005.131 - CLA - 1986.00254 - DIS