skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Coletivos um estudo dentro do paradigma da semântica formal
Coletivos um estudo dentro do paradigma da semântica formal
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Coletivos um estudo dentro do paradigma da semântica formal

Anna Maria Russo Patrício de Oliveira Ana Lúcia de Paula Muller; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (13. 2005 São Paulo)

Resumos São Paulo : Pró-Reitoria de Pesquisa da USP, 2005

São Paulo Pró-Reitoria de Pesquisa da USP 2005

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

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
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)

4
Este livro chega com o objetivo principal de mostrar que a semântica... [Apresentação]
Este livro chega com o objetivo principal de mostrar que a semântica... [Apresentação]
Material Type:
Livro 		Adicionar ao Meu Espaço

Este livro chega com o objetivo principal de mostrar que a semântica... [Apresentação]

Ana Lúcia de Paula Muller Esmeralda Vailati Negrão; Maria José Foltran

Muller, Ana Lúcia; Negrão, Esmeralda Vailati; Foltran, Maria José, orgs Semântica formal São Paulo : Contexto, 2003

São Paulo Contexto 2003

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

5
Fault-based refinement-testing for CSP
Fault-based refinement-testing for CSP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fault-based refinement-testing for CSP

Ana Cavalcanti Adenilso da Silva Simão

Software Quality Journal New York : Springer v. 27, n. 2, p. 529-562, 2019

New York 2019

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2937713 )(Acessar)

6
A gradação nos modalidalizadores deônticos do hebraico moderno
A gradação nos modalidalizadores deônticos do hebraico moderno
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A gradação nos modalidalizadores deônticos do hebraico moderno

Diego Raigorodsky Marcos Fernando Lopes; Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (15. 2007 São Paulo)

Humanas e Humanidades; resumos São Paulo : USP, 2007

São Paulo USP 2007

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Lopes, M F doc 16 ) e outros locais(Acessar)

7
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade
Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade
Material Type:
Livro 		Adicionar ao Meu Espaço

Grafos internos e multirelacões com "Spans" - propriedades e composicionalidade

Marnes Augusto Hoff Paulo F. Blauth Menezes

Porto Alegre UFRGS 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (T H698gr e.1 )(Acessar)

8
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

HMBS:Um modelo baseado em Statecharts para a especificação formal de hiperdocumentos

Turine, Marcelo Augusto Santos

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1998-06-01

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

9
Logic of Conventional Implicatures
Logic of Conventional Implicatures
Logic of Conventional Implicatures
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Conventional Implicatures

Christopher Potts

Oxford Oxford University Press 2005

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

10
Logical form and language
Logical form and language
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical form and language

Gerhard Preyer; Georg Peter

New York Clarendon 2008

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (415 L821 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (14)
  2. Artigos  (13)
  3. Produções Acadêmicas  (5)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (4)
  2. 2000Até2002  (6)
  3. 2003Até2006  (8)
  4. 2007Até2010  (8)
  5. Após 2010  (7)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.