skip to main content
Idioma:
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
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
2
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
3
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
4
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
5
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
6
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
7
Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, the Thirty-Third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, the Thirty-Third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
Material Type:
Livro 		Adicionar ao Meu Espaço

Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, the Thirty-Third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence

Bramer, Max ; Petridis, Miltos

Cham: Springer International Publishing AG 2013

Texto completo disponível

Citações Citado por
8
Geometric Methods in Physics: XXX Workshop, Bialowieza, Poland, June 26 to July 2, 2011
Geometric Methods in Physics: XXX Workshop, Bialowieza, Poland, June 26 to July 2, 2011
Material Type:
Livro 		Adicionar ao Meu Espaço

Geometric Methods in Physics: XXX Workshop, Bialowieza, Poland, June 26 to July 2, 2011

Kielanowski, Piotr ; Ali, S. Twareque ; Odzijewicz, Anatol ; Schlichenmaier, Martin ; Voronov, Theodore

Basel: Springer-Verlag 2013

Texto completo disponível

Citações Citado por
9
Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of Priorities
Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of Priorities
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Conditional Preference-Nets, Possibilistic Logic, and the Transitivity of Priorities

Dubois, D. ; Prade, H. ; Touazi, F. Bramer, Max ; Petridis, Miltos

Research and Development in Intelligent Systems XXX, 2013, p.175-184

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Classification Based on Homogeneous Logical Proportions
Classification Based on Homogeneous Logical Proportions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Classification Based on Homogeneous Logical Proportions

Moraes, Ronei M. ; Machado, Liliane S. ; Prade, Henri ; Richard, Gilles Bramer, Max ; Petridis, Miltos

Research and Development in Intelligent Systems XXX, 2013, p.53-60

Cham: Springer International Publishing

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. Revistas revisadas por pares (1.835)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.923)
  2. Anais de Congresso  (286)
  3. Book Chapters  (183)
  4. Resenhas  (69)
  5. magazinearticle  (54)
  6. Verbetes  (40)
  7. Livros  (19)
  8. Newsletter Articles  (8)
  9. Standards  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1970  (27)
  2. 1970Até1982  (70)
  3. 1983Até1995  (163)
  4. 1996Até2009  (750)
  5. Após 2009  (1.626)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.536)
  2. Japonês  (103)
  3. Espanhol  (40)
  4. Português  (29)
  5. Alemão  (13)
  6. Francês  (7)
  7. Italiano  (5)
  8. Norueguês  (3)
  9. Catalão  (3)
  10. Russo  (3)
  11. Esloveno  (3)
  12. Polonês  (2)
  13. Romeno  (2)
  14. Chinês  (2)
  15. Indonésio  (1)
  16. Coreano  (1)
  17. Bósnio  (1)
  18. Ucraniano  (1)
  19. Africâner  (1)
  20. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.