| |
|
|
|
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 |
URL |
Voltar
|
|
|
| Registros recuperados : 2 | |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
