skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: xxx: xxx remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Transactions on Computational Collective Intelligence XXX
Transactions on Computational Collective Intelligence XXX
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Computational Collective Intelligence XXX

Kowalczyk, Richard ; Thanh Nguyen, Ngoc

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
2
Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities
Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Erratum to: Database preference queries - a possibilistic logic approach with symbolic priorities

Dubois, Didier ; Hadjali, Allel ; Prade, Henri ; Touazi, Fayçal

Annals of mathematics and artificial intelligence, 2015-04, Vol.73 (3-4), p.359-363 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Reasoning About Universal Cubes in MCMT
Reasoning About Universal Cubes in MCMT
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Reasoning About Universal Cubes in MCMT

Conchon, Sylvain ; Roux, Mattias

Formal Methods and Software Engineering, 2019, Vol.11852, p.270-285 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
4
Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning

Würbel, Eric ; Ellefi, Mohamed Ben ; Drap, Pierre ; Garcia, Laurent ; Garreau, Fabien ; Lefèvre, Claire ; Papini, Odile ; Stéphan, Igor

2019

Sem texto completo

Citações Citado por
5
The semantics of BI and resource tableaux
The semantics of BI and resource tableaux
Material Type:
Artigo 		Adicionar ao Meu Espaço

The semantics of BI and resource tableaux

GALMICHE, D. ; MÉRY, D. ; PYM, D.

Mathematical structures in computer science, 2005-12, Vol.15 (6), p.1033-1088 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Relational Graph Models, Taylor Expansion and Extensionality
Relational Graph Models, Taylor Expansion and Extensionality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relational Graph Models, Taylor Expansion and Extensionality

Manzonetto, Giulio ; Ruoppolo, Domenico

Electronic notes in theoretical computer science, 2014-10, Vol.308, p.245-272

Elsevier B.V

Texto completo disponível

Citações Citado por
7
An Implicit Characterization of PSPACE
An Implicit Characterization of PSPACE
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Implicit Characterization of PSPACE

Gaboardi, Marco ; Marion, Jean-Yves ; Ronchi Della Rocca, Simona

ACM transactions on computational logic, 2012-04, Vol.13 (2), p.1-36 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
8
An extended framework for specifying and reasoning about proof systems
An extended framework for specifying and reasoning about proof systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

An extended framework for specifying and reasoning about proof systems

Nigam, Vivek ; Pimentel, Elaine ; Reis, Giselle

Journal of logic and computation, 2016-04, Vol.26 (2), p.539-576 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs

Boldo, Sylvie ; Marché, Claude

Mathematics in computer science, 2011-12, Vol.5 (4), p.377-393 [Periódico revisado por pares]

Basel: SP Birkhäuser Verlag Basel

Texto completo disponível

Citações Citado por
10
Logic as a Liberal Art: An Introduction to Rhetoric and Reasoning, R. E. Houser, Catholic University of America Press, 2020 (ISBN 978‐0‐8132‐3234‐8), xxx + 450 pp., pb $35.95
Logic as a Liberal Art: An Introduction to Rhetoric and Reasoning, R. E. Houser, Catholic University of America Press, 2020 (ISBN 978‐0‐8132‐3234‐8), xxx + 450 pp., pb $35.95
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic as a Liberal Art: An Introduction to Rhetoric and Reasoning, R. E. Houser, Catholic University of America Press, 2020 (ISBN 978‐0‐8132‐3234‐8), xxx + 450 pp., pb $35.95

Tripp, Jeffrey M.

Reviews in religion and theology, 2021-04, Vol.28 (2), p.198-200

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2.724)
  2. Revistas revisadas por pares (2.314)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.444)
  2. Book Chapters  (519)
  3. Anais de Congresso  (379)
  4. Resenhas  (84)
  5. magazinearticle  (71)
  6. Verbetes  (45)
  7. Dissertações  (26)
  8. Livros  (24)
  9. Newsletter Articles  (8)
  10. Standards  (1)
  11. Artigos de Jornal  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (53)
  2. 1969Até1982  (134)
  3. 1983Até1996  (281)
  4. 1997Até2011  (1.200)
  5. Após 2011  (2.061)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.548)
  2. Japonês  (121)
  3. Espanhol  (52)
  4. Português  (38)
  5. Ndongo  (28)
  6. Alemão  (16)
  7. Francês  (10)
  8. Italiano  (5)
  9. Russo  (4)
  10. Norueguês  (3)
  11. Catalão  (3)
  12. Polonês  (3)
  13. Esloveno  (3)
  14. Romeno  (2)
  15. Chinês  (2)
  16. Tcheco  (1)
  17. Coreano  (1)
  18. Bósnio  (1)
  19. Malaio  (1)
  20. Africâner  (1)
  21. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.