skip to main content
Mostrar Somente
Refinado por: autor: Börger, E remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

3
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1992

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

4
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
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1993

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

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

7
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Börger, E ; Jäger, G ; Kleine Büning, H ; Martini, S ; Richter, M. M Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

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

Buscando em bases de dados remotas. Favor aguardar.