Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Araújo, Ivan Eid Tavares de

Mostrando resultados 1 a 2 de 2

Unification modulo Presburger Arithmetic and other decidable theories
Ayala Rincón, Mauricio; Araújo, Ivan Eid Tavares de
8-Mar-2013
★★★★★ (0)
Unification modulo Presburger Arithmetic and other decidable theories
Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de
8-Mar-2013
★★★★★ (0)

Mostrando resultados 1 a 2 de 2