Kansikuva

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Montacute, Yoàv, Shah, Nihil
Aineistotyyppi: Preprint
Julkaistu: 2021
Aiheet:
Logic in Computer Science
Logic
Linkit:https://arxiv.org/abs/2110.08196
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

https://arxiv.org/abs/2110.08196

Samankaltaisia teoksia