skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Machine Theory remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
2
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

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

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
3
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans Kleine Büning, Hans

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
4
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Börger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
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

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 1990

Texto completo disponível

Citações Citado por
6
Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Dalen, Dirk van ; Bezem, Marc van Dalen, Dirk ; Bezem, Marc

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
7
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Fribourg, Laurent Fribourg, Laurent

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
8
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Bradfield, Julian Bradfield, Julian

Berlin, Heidelberg: Springer Berlin Heidelberg 2002

Texto completo disponível

Citações Citado por
9
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

Nielsen, Mogens ; Thomas, Wolfgang Nielsen, Mogens ; Thomas, Wolfgang

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
10
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings

Marcinkowski, Jerzy Tarlecki, Andrzej ; Marcinkowski, Jerzy

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (15)

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1996  (6)
  3. 1997Até2000  (5)
  4. 2001Até2005  (12)
  5. Após 2005  (8)
  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.