Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Universal algebra
Algebra
2
Algebraic specifications
2
Algebras de Kleene
2
Computer circuits
2
Equational classes
2
Expansiones de reticulados
2
Formal Description
2
Formal definition
2
Formal development
2
Formal specification
2
Formal systems
2
General algebraic systems
2
Grupos Abelianos
2
MS-Algebras
2
Model theory
2
NASA
2
Prototype verification systems
2
Reusability
2
Semireticulados
2
Sistemas algebráicos
2
Specification languages
2
Theorem proving
2
-
1
-
2por Campercholi, Miguel Alejandro Carlos
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Campercholi, Miguel Alejandro Carlos
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4