An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Eduardo Zurek
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Instituto Politécnico Nacional 2015
Materias:	Computación tableau resolution refutation Algebraic logic propositional logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet