skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Algorithms remover assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Utilizing Problem Structure in Planning: A Local Search Approach
Utilizing Problem Structure in Planning: A Local Search Approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Utilizing Problem Structure in Planning: A Local Search Approach

Hoffmann, Jörg

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
2
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

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

3
Complexity and Real Computation
Complexity and Real Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Complexity and Real Computation

Blum, Lenore ; Cucker, Felipe ; Shub, Michael ; Smale, Steve

New York, NY: Springer New York 1997

Texto completo disponível

Citações Citado por
4
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Paliath Narendran 1955-; M Rusinowitch (Michael); International Conference on Rewriting Techniques and Applications (10th 1999 Trento, Italy)

Berlin Springer New York c1999

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

5
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Leo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)

Berlin Springer New York c2000

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

6
Finite Model Theory
Finite Model Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Finite Model Theory

Ebbinghaus, Heinz-Dieter ; Flum, Jörg

Berlin, Heidelberg: Springer-Verlag 2006

Texto completo disponível

Citações Citado por
7
Exploring RANDOMNESS
Exploring RANDOMNESS
Material Type:
Livro 		Adicionar ao Meu Espaço

Exploring RANDOMNESS

Chaitin, Gregory J

London: Springer London, Limited 2000

Texto completo disponível

Citações Citado por
8
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Material Type:
Livro 		Adicionar ao Meu Espaço

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Lavrov, Igor ; Maksimova, Larisa ; Corsi, Giovanna

Boston, MA: Springer US 2003

Texto completo disponível

Citações Citado por
9
Essays in Constructive Mathematics
Essays in Constructive Mathematics
Material Type:
Livro 		Adicionar ao Meu Espaço

Essays in Constructive Mathematics

Edwards, Harold M

New York, NY: Springer 2004

Texto completo disponível

Citações Citado por
10
Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings
Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedings

MCU 2001 (3rd 2001 Chi÷sinæau, Moldova) Maurice Margenstern; Yurii Rogozhin

Berlin Springer London c2001

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6)
  2. Disponível na Biblioteca (5)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (2)
  2. 1997Até1998  (2)
  3. 1999Até2000  (3)
  4. 2001Até2003  (6)
  5. Após 2003  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.