skip to main content
Idioma:
Mostrar Somente
Refinado por: idioma: Espanhol remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura
Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura
Material Type:
Tese 		Adicionar ao Meu Espaço

Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura

Martínez López, Alejandro

Universitat Politècnica de València 2022

Texto completo disponível

Citações Citado por
2
A deductive calculus for conditional equational systems with built-in predicates as premises
A deductive calculus for conditional equational systems with built-in predicates as premises
Material Type:
Artigo 		Adicionar ao Meu Espaço

A deductive calculus for conditional equational systems with built-in predicates as premises

Ayala Rincón, Mauricio

Revista colombiana de matemáticas, 1997, Vol.31 (2), p.77-98 [Periódico revisado por pares]

Sociedad Colombiana de Matemáticas

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.