root.skip-to-content
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Comunidades
Listar por
Estadísticas
English
Español
Français
Português
Iniciar sesión
Usuario institucional
Contraseña
Iniciar sesión
¿Has olvidado tu contraseña?
Inicio
Investigación
Escuela de Ciencias Aplicadas e Ingeniería
Lógica y Computación
Artículos
Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
Arboles de forzamiento semántico para el sistema básico con afirmación y negación alternas
Fecha
2006-01-01
Autores
Sierra, Manuel Hernando
SIERRA, MANUEL HERNANDO
Título de la revista
ISSN de la revista
Título del volumen
Editor
Resumen
Descripción
Palabras clave
Citación
URI
http://hdl.handle.net/10784/27356
Colecciones
Artículos
Página completa del ítem