Kansikuva

Tallennettuna:
Bibliografiset tiedot
Päätekijät: Zhao, David, Subotic, Pavle, Raghothaman, Mukund, Scholz, Bernhard
Aineistotyyppi: Preprint
Julkaistu: 2025
Aiheet:
Logic in Computer Science
Programming Languages
Linkit:https://arxiv.org/abs/2501.09225
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

Internet

https://arxiv.org/abs/2501.09225

Samankaltaisia teoksia