Idioma:

Automated reasoning with uncertainties

Flávio Soares Corrêa da Silva Dave S Robertson; Jane Hesketh; International Conference Logic at Work (992 Amsterdam)

Proceedings Berlin : Springer, 2005

Localização: IME - Inst. Matemática e Estatística (PROD-3162123 )(Acessar)

Título:
Automated reasoning with uncertainties
Autor: Flávio Soares Corrêa da Silva
Dave S Robertson; Jane Hesketh; International Conference Logic at Work (992 Amsterdam)
Assuntos: PROGRAMAÇÃO LÓGICA; SISTEMAS BASEADOS EM CONHECIMENTO; Free Variable; Automate Reasoning; Unit Clause; Vague Predicate
É parte de: Proceedings Berlin : Springer, 2005
Notas: Disponível em: https://doi.org/10.1007/3-540-58095-6_5. Acesso em: 06 nov. 2023
Títulos relacionados: Série:Lecture Notes in Computer Science 808
Editor: Berlin Springer
Data de criação/publicação: 2005
Formato: p. 57-79.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 3 Avançar Ir para próxima página