skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
A Dichotomy Result for Ramsey Quantifiers
A Dichotomy Result for Ramsey Quantifiers
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Dichotomy Result for Ramsey Quantifiers

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.69-80 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
12
An Equation-Based Classical Logic
An Equation-Based Classical Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Equation-Based Classical Logic

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.38-52 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
13
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Topologically Relevant Fragments of the Logic of Linear Flows of Time

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.27-37 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
14
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.14-26 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
15
Syllogistic Logic with ``Most
Syllogistic Logic with ``Most
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Syllogistic Logic with ``Most

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.124-139 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
16
An Epistemic Separation Logic
An Epistemic Separation Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Epistemic Separation Logic

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.156-173 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
17
Natural Deduction for Equality: The Missing Entity
Natural Deduction for Equality: The Missing Entity
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Natural Deduction for Equality: The Missing Entity

Pereira, Luiz Carlos ; Haeusler, Edward ; De Paiva, Valeria

Advances in Natural Deduction, 2014, Vol.39, p.63-91

The Netherlands: Springer Netherlands

Texto completo disponível

Citações Citado por
18
On the Weak Index Problem for Game Automata
On the Weak Index Problem for Game Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Weak Index Problem for Game Automata

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.93-108 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
19
Entrepreneurship and Creative Economy : Mental Models of Cultural Entrepreneurs in Belo Horizonte, Brazil
Entrepreneurship and Creative Economy : Mental Models of Cultural Entrepreneurs in Belo Horizonte, Brazil
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Entrepreneurship and Creative Economy : Mental Models of Cultural Entrepreneurs in Belo Horizonte, Brazil

Oliveira, Anna G.M

IntechOpen 2018

Texto completo disponível

Citações Citado por
20
Molecular Modeling Applied to Nanobiosystems
Molecular Modeling Applied to Nanobiosystems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Molecular Modeling Applied to Nanobiosystems

de Oliveira Jr, Osvaldo ; Marystela, Ferreira Lg ; de Lima Leite, Fábio ; Luzia Da Róz, Alessandra

Nanoscience and Its Applications, 2017

United States: Elsevier Science & Technology Books

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (45)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (7)
  2. 1999Até2004  (19)
  3. 2005Até2010  (79)
  4. 2011Até2016  (81)
  5. Após 2016  (96)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (281)
  2. Japonês  (2)
  3. Português  (1)
  4. Francês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.