Posseduto: :: Library Catalog

Salvato in:

Dettagli Bibliografici
Autore principale:	Romas Alonderis
Natura:	Artículo científico
Lingua:	en
Pubblicazione:	Vilniaus Universitetas 2022
Soggetti:	Matemáticas loop search backward proof Temporal logics type sequent calculi
Accesso online:	https://www.redalyc.org/articulo.oa?id=692674313001 https://www.redalyc.org/journal/6926/692674313001/ https://www.redalyc.org/journal/6926/692674313001/html/ https://www.redalyc.org/journal/6926/692674313001/692674313001.epub https://www.redalyc.org/journal/6926/692674313001/movil https://doi.org/10.15388/LMR.2022.29752
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online