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
Refinado por: tipo de recurso: Recursos Textuais remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Le pillage de la communauté des logiciels libres
Le pillage de la communauté des logiciels libres
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Le pillage de la communauté des logiciels libres

O'Neil, Mathieu ; Muselli, Laure ; Pailler, Fred ; Zacchiroli, Stefano

Le Monde Diplomatique, 2022, p.20-21

Le Monde

Texto completo disponível

Citações Citado por
2
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Formal Verification and Static Analysis of Molecular Devices and Biological Systems

Feret, Jérôme ; Paulevé, Loïc ; Šafránek, David

Theoretical Computer Science, 2019, Vol.765

Elsevier

Texto completo disponível

Citações Citado por
3
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016

Dubois, Catherine ; Masci, Paolo ; Méry, Dominique

Electronic Proceedings in Theoretical Computer Science, 2017, Vol.240

EPTCS

Texto completo disponível

Citações Citado por
4
Extension-based argumentation semantics via logic programming semantics with negation as failure
Extension-based argumentation semantics via logic programming semantics with negation as failure
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Extension-based argumentation semantics via logic programming semantics with negation as failure

Nieves Sánchez, Juan Carlos ; Gómez Sebastià, Ignasi

CEUR Workshop Proceedings 2009

Texto completo disponível

Citações Citado por
5
Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning
Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Editorial of Journal of Applied Logic: Part of special issue: Uncertain Reasoning

Kaci, Souhila ; Mercer, Robert ; Thimm, Matthias

Journal of Applied Logic, 2017, Vol.22, p.1-2

Elsevier

Texto completo disponível

Citações Citado por
6
An Exploration of the Ramifications of the Re-conceptualization of Entailment
An Exploration of the Ramifications of the Re-conceptualization of Entailment
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

An Exploration of the Ramifications of the Re-conceptualization of Entailment

2009

Texto completo disponível

Citações Citado por
7
Approximating the expressive power of logics in finite models
Approximating the expressive power of logics in finite models
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Approximating the expressive power of logics in finite models

Arratia Quesada, Argimiro Alejandro ; Ortiz, Carlos E

Springer 2004

Texto completo disponível

Citações Citado por
8
Logic, Abstraction and Construction
Logic, Abstraction and Construction
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Logic, Abstraction and Construction

2009

Texto completo disponível

Citações Citado por
9
An introduction to possibilistic and fuzzy logics
An introduction to possibilistic and fuzzy logics
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

An introduction to possibilistic and fuzzy logics

Dubois, Didier ; Prade, Henri ; Smets, Philippe ; Mamdani, Abe

The Journal of Symbolic Logic, 1988, p.1-334

Association for Symbolic Logic

Texto completo disponível

Citações Citado por
10
Rationality and Resource Bounds in Logics for Intentional Attitudes
Rationality and Resource Bounds in Logics for Intentional Attitudes
Material Type:
Recurso Textual 		Adicionar ao Meu Espaço

Rationality and Resource Bounds in Logics for Intentional Attitudes

2011

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.   

Data de Publicação 

De até
Refinar
  1. Antes de1981  (8)
  2. 1981Até1992  (11)
  3. 1993Até2003  (13)
  4. 2004Até2011  (24)
  5. Após 2011  (31)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (84)
  2. Espanhol  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.