Logical derivation search with assumption traceability

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Adomas Birštunas
Format:	Artículo científico
Language:	en
Published:	Vilniaus Universitetas 2021
Subjects:	Matemáticas traceability loop checking Propositional logic
Online Access:	Acceder al recurso 1 Acceder al recurso 2 Acceder al recurso 3 Acceder al recurso 4 Acceder al recurso 5 Acceder al recurso 6
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet