Logical derivation search with assumption traceability

Fuente: Redalyc

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Adomas Birštunas
Format:	Artículo científico
Sprache:	en
Veröffentlicht:	Vilniaus Universitetas 2021
Schlagworte:	Matemáticas traceability loop checking Propositional logic
Online-Zugang:	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:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online