Copertina

Salvato in:
Dettagli Bibliografici
Autori principali: Orvalho, Pedro, Kwiatkowska, Marta, Janota, Mikoláš, Manquinho, Vasco
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Software Engineering
Artificial Intelligence
Logic in Computer Science
Symbolic Computation
Accesso online:https://arxiv.org/abs/2512.02898
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2512.02898

Documenti analoghi