skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover assunto: Lógica Matemática remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers
Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers

IWLCS 2001 (2001 San Francisco, Calif.) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-

Berlin Springer New York 2002

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

2
Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers
Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers

IWLCS 2000 (2000 Paris, France) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-

Berlin Springer New York c2001

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

3
Analogical and inductive inference proceedings
Analogical and inductive inference proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Analogical and inductive inference proceedings

International Workshop AII '86 (1986 Wendisch-Rietz, Germany) K. P Jantke (Klaus P.)

Berlin New York Springer-Verlag c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.265 ex.1 ) e outros locais(Acessar)

4
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

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

5
Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers

Jens Blanck 1966-; Vasco Brattka 1966-; Peter Hertling 1965-

Berlin Springer New York c2001

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

6
Computation theory and logic
Computation theory and logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation theory and logic

E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.270 ex.1 ) e outros locais(Acessar)

7
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

8
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

FCT 2001 (2001 Råiga, Latvia) Rusins Freivalds

Berlin New York Barcelona London Springer c2001

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

9
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

10
Implementation and application of automata 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
Implementation and application of automata 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

CIAA 2003 (2003 Santa Barbara, Calif.) Oscar H Ibarra; Zhe Danga 1967-

Berlin Springer New York c2003

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Lanzi, P
  2. Wilson, S
  3. Stolzmann, W
  4. Freivalds, R
  5. Abramsky, S

Neste Assunto:

  1. Lógica Matemática
  2. Teoria Da Computação
  3. Linguagens Formais
  4. Computer Science
  5. Machine Theory

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

Buscando em bases de dados remotas. Favor aguardar.