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

Proofs and Algorithms

Gilles Dowek

Springer London 2011

Acesso online

2
Introduction to the Theory of Programming Languages
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

3
age of algorithms
age of algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

age of algorithms

Abiteboul Gilles Dowek; Gilles Dowek; K-Rae Nelson

Cambridge University Press 2020

Acesso online

4
Computation, Proof, Machine: Mathematics Enters A New Age
Computation, Proof, Machine: Mathematics Enters A New Age
Computation, Proof, Machine: Mathematics Enters A New Age
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation, Proof, Machine: Mathematics Enters A New Age

Gilles Dowek Pierre Guillot; Marion Roman

Cambridge University Press 2015

Acesso online. A biblioteca também possui exemplares impressos.

5
Higher-Order Algebra, Logic, and Term Rewriting
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
Higher-order algebra, logic, and term rewriting
Higher-order algebra, logic, and term rewriting
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
Higher-order algebra, logic, and term rewriting selected papers [of the] second international workshop, hoa'95, held in paderborn, Germany, september 1995
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)

8
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem Proving in Higher Order Logics

TPHOLs '99 Yves Bertot; Gilles Dowek; Andre Hirschowitz; Christine Paulin; Laurent Thery

Springer Berlin Heidelberg 1999

Acesso online

9
Quand la science a dit, c'est impossible !
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. Contab. e Atuária  ACERVO DELFIM NETTO  (A35.33.34 )(Acessar)

10
About Folding–Unfolding Cuts and Cuts Modulo
About Folding–Unfolding Cuts and Cuts Modulo
Material Type:
Artigo 		Adicionar ao Meu Espaço

About Folding–Unfolding Cuts and Cuts Modulo

Dowek, G.

Journal of logic and computation, 2001-06, Vol.11 (3), p.419-429 [Periódico revisado por pares]

Oxford: Oxford University Press

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (25)
  2. Artigos  (16)
  3. Anais de Congresso  (10)
  4. Livros  (9)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (6)
  2. 1997Até2000  (30)
  3. 2001Até2005  (11)
  4. 2006Até2012  (11)
  5. Após 2012  (6)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Dowek, G
  2. Heering, J
  3. Rolland, L
  4. Dowek
  5. Alimi, J

Neste Assunto:

  1. Science & Technology
  2. Computer Science
  3. Technology
  4. Exact Sciences And Technology
  5. Applied Sciences

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

Buscando em bases de dados remotas. Favor aguardar.