Data/hora: 05/06/2024 00:21:48

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 31/10/1994
Data da última atualização: | 18/10/2007
Autoria: | NASCIMENTO, M. A.; CHEN, W.; SALVIANO, C. F.; TANIK, M. M.
Afiliação: | Embrapa-CNPTIA.
Título: | An experiment using Prolog to investigate TRACE specifications.
Ano de publicação: | 1994
Fonte/Imprenta: | Dallas: Southern Methodist University, 1994.
Páginas: | 15p.
Série: | (SMU. Technical Report, 94-CSE-3).
Idioma: | Inglês
Conteúdo: | Abstract; Introduction; Motivation; Related work; TRACE specifications; The PT approach; The PT operators.
Palavras-Chave: | Experimento.
Thesagro: | Pesquisa.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (2124-1) - UPC - RT - -- -  -  - 1996.00002 - DIS