skip to main content
Refinado por: assunto: Lógica Matemática remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings

FCT 2003 (2003 Malmö, Sweden) Andrzej Lingas; Bengt J Nilsson

Berlin Springer New York c2003

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

2
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)

3
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)

4
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material Type:
Livro
Adicionar ao Meu Espaço

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.