Um Provador De Teoremas Baseado Em Tableaux Para Verificação De Propriedades Temporais De Conhecimento Ou Crença

doi 10.26512/2015.01.d.17951
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Biblioteca Central da UNB

Related search

Desenvolvimento De Um Portal De Conhecimento Para a Tuberculose Baseado Em Web Semântica

English

OpMM - FERRAMENTA PARA EXTRAÇÃO DE CONHECIMENTO UTILIZANDO PRIMITIVAS TEMPORAIS: UM ESTUDO DE CASO EM PACIENTES INTERNADOS EM UTI

Revista Brasileira de Inovação Tecnológica em Saúde - ISSN:2236-1103
2014English

Um Modelo Para Recomendação De Objetos De Aprendizagem Baseado Em Similaridade De Sessões

2013English

Lista De Verificação Para Cirurgia Segura: Barreiras Para Sua Implementação Em Um Serviço De Oftalmologia

Revista de Gestão em Sistemas de Saúde
2017English

Um Sistema De Recomendação Baseado Em Um Modelo Cognitivo De Aprendizagem

2017English

Sistema De Recomendação De Serviços Baseado Em Uma Arquitetura Aberta Para Um Ecossistema De Software

2017English

Um Framework Baseado Em Componentes Para Desenvolvimento De Aplicações Web E Um Processo De Instanciação Associado

English

SiAPP: Um Sistema Para Análise De Ocorrências De Crimes Baseado Em Aprendizado Lógico-Relacional

2016English

Avaliação Da Uniformidade De Aplicação De Água Em Um Sistema De Gotejamento Para Pequenas Propriedades

Ciencia e Agrotecnologia
Soil ScienceVeterinaryCrop ScienceFood ScienceAnimal ScienceZoologyAgronomy
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy