skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: idioma: Francês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Formalisation mathématique, certification logicielle, même combat

Curien, Pierre-Louis Curien, Pierre-Louis (Editor)

Gazette des Mathématiciens, October 2014, Vol.142, pp.83-86

Texto completo disponível

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Temporal Frequent Value Locality

Orosa; Lois; Rodolfo Universidade Estadual de Campinas (Unicamp)

WOS

IEEE; New York 2016

Acesso online

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Cluster expansion and the boxdot conjecture

Jeřábek, Emil

Mathematical Logic Quarterly 62 (2016), no. 6, pp. 608--614 [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Towards a Proof Theory of G\"odel Modal Logics

Metcalfe, George ; Olivetti, Nicola

Logical Methods in Computer Science, Volume 7, Issue 2 (May 17, 2011) lmcs:972 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

A note on the substructural hierarchy

Jeřábek, Emil

Mathematical Logic Quarterly 62 (2016), no. 1--2, pp. 102--110 [Periódico revisado por pares]

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

Godel's Incompleteness Phenomenon - Computationally

Salehi, Saeed

Philosophia Scienti{\ae} 18:3 (2014) 23--37 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Conditions of assertion of 'chaque' and 'tout' and the universal quantifier rules of deductive statement

Mari, Alda ; Retoré, Christian Retoré, Christian (Editor)

Travaux de Linguistique : Revue Internationale de Linguistique Française, January 2016, Vol.72, pp.89-106 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Recension de "The blind spot. Lectures on logic" par J.-Y. Girard (European Mathematical Society, 2011)

Seiller, Thomas ; Retoré, Christian Retoré, Christian (Editor)

Gazette des Mathématiciens, 01 October 2014, Vol.142, pp.136-143

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Complexité de Kolmogorov, une mise en perspective. Partie II : Classification, Traitement de l' Information et Dualité

Ferbus-Zanda, Marie Ferbus-Zanda, Marie (Editor)

Synthese, 2010 [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Modular & Incremental Automated Termination Proofs

Urbain, Xavier Urbain, Xavier (Editor)

Journal of Automated Reasoning, 2004, Vol.32(4), pp.315-355 [Periódico revisado por pares]

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (13)
  2. Recursos Online (31)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (18)
  2. Dissertações  (11)
  3. Livros  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1999  (4)
  2. 1999Até2002  (5)
  3. 2003Até2006  (6)
  4. 2007Até2011  (9)
  5. Após 2011  (16)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.