3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
Nome da Publicação:
Communications Of The Acm
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: magazinearticle
|
|
Proving termination with multiset orderingsDershowitz, Nachum ; Manna, ZoharCommunications of the ACM, 1979-08, Vol.22 (8), p.465-476ACMTexto completo disponível |
| 2 |
Material Type: magazinearticle
|
|
Let's be honestDershowitz, NachumCommunications of the ACM, 2021-05, Vol.64 (5), p.37-41New York: Association for Computing MachineryTexto completo disponível |
| 3 |
Material Type: magazinearticle
|
|
Rebutting RebuttalsDershowitz, Nachum ; Verma, Rakesh M.Communications of the ACM, 2023-09, Vol.66 (9), p.35-41New York, NY, USA: ACMTexto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Computer Science, Software Engineering (2)
- Computer Science (2)
- Computer Science, Theory & Methods (2)
- Computer Science, Hardware & Architecture (2)
- Science & Technology (2)
- Technology (2)
- Computing Profession (1)
- Management Of Computing And Information Systems (1)
- Feedback (1)
- Conferences (1)
- Computational Science And Engineering Education (1)
- Employment Issues (1)
- Decision Making (1)
- Computational Mathematics (1)
- Computing Education Programs (1)
- Computing Education (1)
- Bags (1)
- Linguistics (1)
- Multisets (1)
- Computing And Business (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 