skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters

On proof-and model-based techniques for reasoning with uncertainty

Flávio Soares Corrêa da Silva

São Paulo IME-USP 1993

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1993 v.03 e.1 ) e outros locais(Acessar)

  • Título:
    On proof-and model-based techniques for reasoning with uncertainty
  • Autor: Flávio Soares Corrêa da Silva
  • Assuntos: SISTEMAS BASEADOS EM CONHECIMENTO
  • Notas: Disponível em: https://repositorio.usp.br/directbitstream/59b8e5e7-1fa8-4614-b163-83e3e0638078/848717.pdf. Acesso em: 23 out. 2023
  • Notas Locais: RT-MAC-9303
  • Editor: São Paulo IME-USP
  • Data de criação/publicação: 1993
  • Formato: 10 p.
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.