Logical derivation search with assumption traceability

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	Adomas Birštunas
Format:	Artículo científico
Langue:	en
Publié:	Vilniaus Universitetas 2021
Sujets:	Matemáticas traceability loop checking Propositional logic
Accès en ligne:	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:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet