skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
4
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
5
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
6
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
7
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Baaz, Matthias ; Makowsky, Johann M Baaz, Matthias ; Makowsky, Johann A.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
8
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Clote, Peter G ; Schwichtenberg, Helmut

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
9
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings

Flum, Jörg ; Rodriguez-Artalejo, Mario Rodriguez-Artalejo, Mario ; Flum, Jörg

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
10
Computer science logic: 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings
Computer science logic: 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic: 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings

Clote, Peter G ; Schwichtenberg, Helmut

Springer 2006

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.