|
|
Registros recuperados : 144 | |
Registros recuperados : 144 | |
|
|
| Acesso ao texto completo restrito à biblioteca da Embrapa Agricultura Digital. Para informações adicionais entre em contato com cnptia.biblioteca@embrapa.br. |
Registro Completo
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: |
-- |
Marc: |
LEADER 00630nam a2200193 a 4500 001 1001760 005 2007-10-18 008 1994 bl uuuu t 00u1 u #d 100 1 $aNASCIMENTO, M. A. 245 $aAn experiment using Prolog to investigate TRACE specifications. 260 $aDallas: Southern Methodist University$c1994 300 $a15p. 490 $a(SMU. Technical Report, 94-CSE-3). 520 $aAbstract; Introduction; Motivation; Related work; TRACE specifications; The PT approach; The PT operators. 650 $aPesquisa 653 $aExperimento 700 1 $aCHEN, W. 700 1 $aSALVIANO, C. F. 700 1 $aTANIK, M. M.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|