skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Dershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, Naomi

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

Citações Citado por
2
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Dershowitz, Nachum Dershowitz, Nachum

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por
3
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Dershowitz, Nachum Dershowitz, Nachum

Berlin, Heidelberg: Springer Berlin Heidelberg 2003

Texto completo disponível

Citações Citado por
4
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram Beklemishev, Lev D ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Blass, Andreas ; Beklemishev, Lev D. ; Dershowitz, Nachum ; Blass, Andreas ; Finkbeiner, Bernd ; Schulte, Wolfram

Cham: Springer Nature 2015

Texto completo disponível

Citações Citado por
5
Matching Phrases for Arabic-to-English Example-Based Translation System
Matching Phrases for Arabic-to-English Example-Based Translation System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Matching Phrases for Arabic-to-English Example-Based Translation System

Bar, Kfir ; Choueka, Yaacov ; Dershowitz, Nachum

Language, Culture, Computation. Computational Linguistics and Linguistics, p.54-63 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Arabic Character Recognition
Arabic Character Recognition
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Arabic Character Recognition

Dershowitz, Nachum ; Rosenberg, Andrey

Language, Culture, Computation. Computing - Theory and Technology, p.584-602 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Finkbeiner, Bernd ; Cégielski, Patrick ; Droste, Manfred ; Blass, Andreas ; Dershowitz, Nachum

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
On the Generalized Membership Problem in Relatively Hyperbolic Groups
On the Generalized Membership Problem in Relatively Hyperbolic Groups
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Generalized Membership Problem in Relatively Hyperbolic Groups

Kharlampovich, Olga ; Weil, Pascal

Fields of Logic and Computation III, 2020 (12180), p.147-155 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
9
Randomness Tests: Theory and Practice
Randomness Tests: Theory and Practice
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Randomness Tests: Theory and Practice

Shen, Alexander

Fields of Logic and Computation III, 2020, Vol.12180, p.258-290 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
10
Horn Clause Solvers for Program Verification
Horn Clause Solvers for Program Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Horn Clause Solvers for Program Verification

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

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. Recursos Online (83)
  2. Revistas revisadas por pares (89)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (84)
  2. Anais de Congresso  (16)
  3. Livros  (14)
  4. Artigos  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (5)
  2. 1988Até1998  (13)
  3. 1999Até2006  (42)
  4. 2007Até2013  (15)
  5. Após 2013  (36)
  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.