Toggle navigation
Repositorio Institucional
CONICET Digital
Inicio
EXPLORAR
AUTORES
DISCIPLINAS
COMUNIDADES
Estadísticas
Novedades
Noticias
Boletines
Ayuda
General
Datos de investigación
Acerca de
CONICET Digital
Equipo
Red Federal
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Listar Articulos(ICC) por autor "Aguirre, Nazareno M."
Mostrando ítems 1-1 de 1
Artículo
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
Lopez Pombo, Carlos Gustavo
;
Castro, Pablo
;
Aguirre, Nazareno M.
;
Maibaum, Thomas S.E.
(
IOS Press
,
2019-04
)
Mostrando ítems 1-1 de 1