Logical derivation search with assumption traceability

Fuente: Redalyc

Guardado en:

Detalles Bibliográficos
Autor principal:	Adomas Birštunas
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Vilniaus Universitetas 2021
Materias:	Matemáticas traceability loop checking Propositional logic
Acceso en línea:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet