Kansikuva

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Hetzl, Stefan, Kloibhofer, Johannes
Aineistotyyppi: Preprint
Julkaistu: 2025
Aiheet:
Logic in Computer Science
Logic
Linkit:https://arxiv.org/abs/2511.08162
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

https://arxiv.org/abs/2511.08162

Samankaltaisia teoksia