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 nível superior: Recursos Online 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
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
8
Verification: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Verification: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

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

Dershowitz, Nachum

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
9
Matching with a Hierarchical Ontology
Matching with a Hierarchical Ontology
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Matching with a Hierarchical Ontology

Choueka, Yaacov ; Dershowitz, Nachum ; Tal, Liad

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Generic Parallel Algorithms
Generic Parallel Algorithms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Generic Parallel Algorithms

Dershowitz, Nachum ; Falkovich, Evgenia

Language, Life, Limits, p.133-142 [Periódico revisado por pares]

Cham: Springer International Publishing

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 (61)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1987  (4)
  2. 1987Até1996  (10)
  3. 1997Até2003  (7)
  4. 2004Até2013  (31)
  5. Após 2013  (28)
  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.