PROBLEMAS DE DECISIÓN Y RECURSIVIDAD EN SISTEMAS LÓGICOS FORMALES

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	IVETH MARTÍNEZ
Formato:	Artículo científico
Lenguaje:	es
Publicado:	Universidad de Costa Rica 2016
Materias:	Física, Astronomía y Matemáticas Thue lógicas formales Entscheidungsproblem Problemas de decisión lógicas de primer orden
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet