skip to main content
Idioma:
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
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

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

2
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Reis, Teofilo De Souza Universidade Estadual de Campinas (Unicamp); Coniglio, Marcelo Esteban, 1963-; Bianconi, Ricardo; D'Ottaviano, Itala Maria Loffredo; Feitosa, Hercules De Araujo; Carnielli, Walter Alexandre; Universidade Estadual De Campinas. Instituto De Filosofia E Ciências Humanas; Programa De Pós-Graduação Em Filosofia; Universidade Estadual De Campinas

https://repositorio.unicamp.br/acervo/detalhe/432670

[s.n.] 2008

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

3
Towards an efficient prover for the C1 paraconsistent logic
Towards an efficient prover for the C1 paraconsistent logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A Kaestner 1955- (Celso Antônio Alves); Marcelo Finger; Workshop on Logical and Semantic Frameworks, with Applications - LSFA (4. 2009 Brasília, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 256, p.87-102, 2009

Amsterdam Elsevier 2009

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

4
Symposium on semantics of algorithmic languages
Symposium on semantics of algorithmic languages
Material Type:
Livro 		Adicionar ao Meu Espaço

Symposium on semantics of algorithmic languages

Erwin Engeler

Berlin Springer-Verlag New York 1971

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNM v.188 e.2 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

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

Buscando em bases de dados remotas. Favor aguardar.