Logical derivation search with assumption traceability

Fuente: Redalyc

Salvato in:

Dettagli Bibliografici
Autore principale:	Adomas Birštunas
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Vilniaus Universitetas 2021
Soggetti:	Matemáticas traceability loop checking Propositional logic
Accesso online:	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:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online