1
Material Type:
Artigo de Congresso
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)
This feature requires javascript
2
Material Type:
Dissertação de Mestrado
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
Material Type:
Artigo de Congresso
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)
This feature requires javascript
4
Material Type:
Livro
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)
This feature requires javascript