Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
Home Bibliotecas Itens selecionados Créditos Ajuda
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  18/06/1996
Data da última atualização:  14/03/2011
Autoria:  SILVA, F.; DINNOUTI, L. S.; ROJAS MONTAÑO, R. A. N.; CASTILHO, M. A.
Afiliação:  FABIANO SILVA, UFPR; LEONARDO SHIGUEMI DINNOUTI, UFPR; RAZER ANTHOM NIZER ROJAS MONTAÑO, UFPR; MARCOS ALEXANDRE CASTILHO, UFPR.
Título:  LABPAT: Laboratório de Provadores Automáticos de Teoremas.
Ano de publicação:  1995
Fonte/Imprenta:  In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.
Volume:  v.2
Páginas:  p. 1471-1477.
Idioma:  Português
Conteúdo:  Este artigo descreve um Provador Automático de Teoremas totalmente configurável chamado LABPAT. Ele é baseado em tecnologia PROLOG de prova de teoremas e permite a configuração de um provador de teoremas específico via argumentos de linha de comando. Assim, várias estratégias de pesquisa sobre árvores de prova podem ser facilmente estudadas. LABPAT é construído sobre os componentes da biblioteca FK-Tools, permitindo a implementação independente de cada objeto, tornando o código simples e eficiente.
Palavras-Chave:  LABPAT; Provadores de teoremas.
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA3317 - 1ADDPL - PP004SEM1995.00014v.2
Voltar






Ordenar por: RelevânciaAutorTítuloAnoImprime registros no formato resumido      Imprime registros no formato resumido
Registros recuperados : 3
Primeira ... 1 ... Última
1.Imagem marcado/desmarcadoCASTILHO, M. A.; PEDROZA FILHO, M. X. Desafios da agroindustrialização da aquicultura no Estado de Tocantins a partir da abordagem de Cadeia Global de Valor. Custos e @gronegócio on line, v. 15, p. 349-373, abr. 2019.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: A - 2
Biblioteca(s): Embrapa Pesca e Aquicultura.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
2.Imagem marcado/desmarcadoCASTILHO, M. A.; PEDROZA FILHO, M. X. Gargalos à industrialização do setor primário: estudo de caso da cadeia global de valor da aquicultura em Tocantins. In: OLIVEIRA, N. M. de (Org.). Economia, planejamento e desenvolvimento regional. Palmas: EDUFT, 2020. p. 45-62.
Tipo: Capítulo em Livro Técnico-Científico
Biblioteca(s): Embrapa Pesca e Aquicultura.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
3.Imagem marcado/desmarcadoPEDROZA FILHO, M. X.; CASTILHO, M. A. Integration of farmers and processing industry in the aquaculture value chain in Tocantins, Brazil. Revista de Economia e Agronegócio, v. 18, n. 2, p. 1-17, 2020.
Tipo: Artigo em Periódico IndexadoCirculação/Nível: B - 3
Biblioteca(s): Embrapa Pesca e Aquicultura.
Visualizar detalhes do registroAcesso ao objeto digitalImprime registro no formato completo
Registros recuperados : 3
Primeira ... 1 ... Última
Nenhum registro encontrado para a expressão de busca informada.
  
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita
Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional