skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting and Typed Lambda Calculi
Material Type:
Livro
Adicionar ao Meu Espaço

Rewriting and Typed Lambda Calculi

Gilles Dowek

Springer International Publishing 2014

Acesso online

2
Proofs and Algorithms
Material Type:
Livro
Adicionar ao Meu Espaço

Proofs and Algorithms

Gilles Dowek

Springer London 2011

Acesso online

3
Introduction to the Theory of Programming Languages
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to the Theory of Programming Languages

Gilles Dowek Jean-Jacques Lévy; Jean-Jacques Lévy

Springer London 2011

Acesso online

4
Higher-order algebra, logic, and term rewriting selected papers [of the] second international workshop, hoa'95, held in paderborn, Germany, september 1995
Material Type:
Livro
Adicionar ao Meu Espaço

Higher-order algebra, logic, and term rewriting selected papers [of the] second international workshop, hoa'95, held in paderborn, Germany, september 1995

Workshop on Higher-Order Algebra, Logic, and TermRewriting (2. 1995 Paderborn, De) Gilles Dowek; Jan Heering

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1074 ) e outros locais(Acessar)

5
Higher-Order Algebra, Logic, and Term Rewriting
Material Type:
Livro
Adicionar ao Meu Espaço

Higher-Order Algebra, Logic, and Term Rewriting

Dowek Gilles Dowek; J Heering; Karl Meinke; Bernhard Möller

Springer Berlin Heidelberg 1996

Acesso online

6
Material Type:
Livro
Adicionar ao Meu Espaço

Higher-order algebra, logic, and term rewriting

International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA'95, 2 1995 Paderborn Gilles Dowek

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1996

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1074 )(Acessar)

7
Quand la science a dit, c'est impossible !
Material Type:
Livro
Adicionar ao Meu Espaço

Quand la science a dit, c'est impossible !

Jean-Michel Alimi 1961-.... Gilles Dowek; Laurence Rolland; Nayla Farouki

Paris Ed. le Pommier impr. 2008

Localização: FEA - Fac. Econ. Adm. e Contab.  ACERVO DELFIM NETTO  (A35.33.34 )(Acessar)

8
Quand la science a dit, c'est bizarre !
Material Type:
Livro
Adicionar ao Meu Espaço

Quand la science a dit, c'est bizarre !

Etienne Klein 1958-....

Paris Ed. le Pommier impr. 2008

Localização: FEA - Fac. Econ. Adm. e Contab.  ACERVO DELFIM NETTO  (A35.33.35 )(Acessar)

9
Material Type:
Artigo
Adicionar ao Meu Espaço

The physical Church thesis as an explanation of the Galileo thesis

Dowek, Gilles

Natural Computing, 2012, Vol.11(2), pp.247-251 [Periódico revisado por pares]

Texto completo disponível

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

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Dowek, Gilles ; Gabbay, Murdoch J.

Theoretical Computer Science, Sept 14, 2012, Vol.451, p.38(32) [Periódico revisado por pares]

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (64)
  2. Livros  (13)
  3. Relatórios Técnicos  (9)
  4. Anais de Congresso  (3)
  5. Book Chapters  (3)
  6. Recursos Textuais  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1999  (8)
  2. 1999Até2003  (15)
  3. 2004Até2009  (18)
  4. 2010Até2015  (42)
  5. Após 2015  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (75)
  2. Francês  (4)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Dowek, Gilles.
  2. Dowek, G
  3. Arrighi, Pablo
  4. Gilles Dowek
  5. Jiang, Ying

Buscando em bases de dados remotas. Favor aguardar.