skip to main content
Idioma:
Resultados 1 2 3 next page
Refinado por: assunto: Algorithms 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
Resource Bisimilarity in Petri Nets is Decidable
Resource Bisimilarity in Petri Nets is Decidable
Material Type:
Artigo 		Adicionar ao Meu Espaço

Resource Bisimilarity in Petri Nets is Decidable

Lomazova, Irina A. ; Bashkin, Vladimir A. ; Jančar, Petr Rabinovich, Alexander ; Avron, Arnon ; Dershowitz, Nachum

Fundamenta informaticae, 2022-01, Vol.186 (1-4), p.175-194 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
4
A Natural Axiomatization of Computability and Proof of Church's Thesis
A Natural Axiomatization of Computability and Proof of Church's Thesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Natural Axiomatization of Computability and Proof of Church's Thesis

Dershowitz, Nachum ; Gurevich, Yuri

The bulletin of symbolic logic, 2008-09, Vol.14 (3), p.299-350 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
5
Honest universality
Honest universality
Material Type:
Artigo 		Adicionar ao Meu Espaço

Honest universality

Dershowitz, Nachum ; Falkovich, Evgenia

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2012-07, Vol.370 (1971), p.3340-3348 [Periódico revisado por pares]

England: The Royal Society Publishing

Texto completo disponível

Citações Citado por
6
Computerized Source Criticism of Biblical Texts
Computerized Source Criticism of Biblical Texts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computerized Source Criticism of Biblical Texts

Koppel, Moshe ; Dershowitz, Nachum

Journal of Biblical literature, 2015-06, Vol.134 (2), p.253-271 [Periódico revisado por pares]

Atlanta: Society of Biblical Literature

Texto completo disponível

Citações Citado por
7
Identifying Join Candidates in the Cairo Genizah
Identifying Join Candidates in the Cairo Genizah
Material Type:
Artigo 		Adicionar ao Meu Espaço

Identifying Join Candidates in the Cairo Genizah

Wolf, Lior ; Littman, Rotem ; Mayer, Naama ; German, Tanya ; Dershowitz, Nachum ; Shweka, Roni ; Choueka, Yaacov

International journal of computer vision, 2011-08, Vol.94 (1), p.118-135 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
8
When are Two Algorithms the Same?
When are Two Algorithms the Same?
Material Type:
Artigo 		Adicionar ao Meu Espaço

When are Two Algorithms the Same?

Blass, Andreas ; Dershowitz, Nachum ; Gurevich, Yuri

The bulletin of symbolic logic, 2009-06, Vol.15 (2), p.145-168 [Periódico revisado por pares]

New York, USA: Cambridge University Press

Texto completo disponível

Citações Citado por
9
Computerized Source Criticism of Biblical Texts
Computerized Source Criticism of Biblical Texts
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computerized Source Criticism of Biblical Texts

Dershowitz, Idan ; Akiva, Navot ; Koppel, Moshe ; Dershowitz, Nachum

Journal of Biblical literature, 2015, Vol.134 (2), p.253-271 [Periódico revisado por pares]

Society of Biblical Literature

Texto completo disponível

Citações Citado por
10
Metaphor Interpretation Using Word Embeddings
Metaphor Interpretation Using Word Embeddings
Material Type:
Artigo 		Adicionar ao Meu Espaço

Metaphor Interpretation Using Word Embeddings

Bar, Kfir ; Dershowitz, Nachum ; Dankin, Lena

arXiv.org, 2021-12

Ithaca: Cornell University Library, arXiv.org

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

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2005  (3)
  2. 2005Até2007  (3)
  3. 2008Até2011  (6)
  4. 2012Até2018  (9)
  5. Após 2018  (2)
  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.