N'5 as an extension of G'3
Título del documento: N'5 as an extension of G'3
Revista: Research on computing science
Base de datos: PERIÓDICA
Número de sistema: 000402267
ISSN: 1665-9899
Autores: 1
2
Instituciones: 1Universidad de las Américas, Centro de Investigación en Tecnología de la Información y Automatización, Cholula, Puebla. México
2Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México
Año:
Periodo: Mar
Volumen: 53
Paginación: 199-210
País: México
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Ciencias de la computación,
Filosofía
Palabras clave: Teoría de la computación,
Lógica,
Métodos formales,
Sustitución,
Lógica paraconsistente
Keyword: Computer science,
Philosophy,
Computer theory,
Logic,
Formal methods,
Substitution,
Paraconsistent logic
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)