skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science remover assunto: Mathematical Logic And Foundations remover Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Börger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, Egon

Berlin, Heidelberg: Springer Berlin Heidelberg 1992

Texto completo disponível

Citações Citado por
2
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : Proceedings
Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1999: 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999 : Proceedings

Kutylowski, Miroslaw ; Pacholski, Leszek ; Wierzbicki, Tomasz Wierzbicki, Tomasz ; Kutyłowski, Mirosław ; Pacholski, Leszek

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
3
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Kahle, Reinhard ; Schroeder-Heister, Peter ; Stärk, Robert Schroeder-Heister, Peter ; Kahle, Reinhard ; Stärk, Robert

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

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
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings

Pin, J. E Pin, J. E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

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

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 1989

Texto completo disponível

Citações Citado por
7
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings

Guessarian, Irène Guessarian, Irène

Berlin, Heidelberg: Springer Berlin Heidelberg 1990

Texto completo disponível

Citações Citado por
8
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
9
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
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 Richter, M. M. ; Kleine Büning, H. ; Börger, E. ; Martini, S. ; Jäger, G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
10
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings

Bergman, Clifford H ; Maddux, Roger D ; Pigozzi, Don L Pigozzi, Don L. ; Maddux, Roger D. ; Bergman, Clifford H.

New York, NY: Springer New York 1990

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (142)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (450)
  2. Artigos  (2)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (17)
  2. 1988Até1996  (140)
  3. 1997Até2005  (320)
  4. 2006Até2015  (173)
  5. Após 2015  (20)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (451)
  2. Alemão  (12)
  3. Japonês  (9)
  4. Italiano  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.