skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof Theory for Fuzzy Logics

George Metcalfe Jon Barwise; Dov M Gabbay; Nicola Olivetti

Springer Netherlands 2009

Acesso online. A biblioteca também possui exemplares impressos.

2
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

TABLEAUX 2007 (2007 Aix en Provence, France) Nicola Olivetti

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.4548 ) e outros locais(Acessar)

3
Goal-directed proof theory
Goal-directed proof theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Goal-directed proof theory

Dov M Gabbay 1945 Nicola Olivetti

Dordrecht Kluwer Academic Boston 2000

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 G112g ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.