skip to main content
Idioma:
Refinado por: data de publicação: Antes de1992 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic
Computer Science Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic

Workshop on Computer Science Logic Egon Börger

Springer Berlin Heidelberg 1991

Acesso online

2
CSL '89
CSL '89
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '89

Workshop on Computer Science Logic Egon Börger; Hans Kleine Büning; Michael M Richter

Springer Berlin Heidelberg 1990

Acesso online

3
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

4
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

5
CSL '89 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
CSL '89 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '89 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Workshop on Computer Science Logic (3rd 1989 Kaiserslautern, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin Springer-Verlag New York c1990

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

6
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings

Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin Springer-Verlag New York c1988

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

7
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Börger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

Citações Citado por
8
Logic from Computer Science: Proceedings of a Workshop Held November 13-17 1989
Logic from Computer Science: Proceedings of a Workshop Held November 13-17 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic from Computer Science: Proceedings of a Workshop Held November 13-17 1989

Moschovakis, Yiannis N

New York, NY: Springer 1991

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1988  (1)
  2. 1988Até1988  (2)
  3. 1989Até1989  (2)
  4. 1990Até1991  (5)
  5. Após 1991  (1)
  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.