Obálka

Uloženo v:
Podrobná bibliografie
Hlavní autoři: de Mas, Jordina Francès, Bowles, Juliana
Médium: Preprint
Vydáno: 2024
Témata:
Logic in Computer Science
Artificial Intelligence
Logic
03B35, 03B70, 68N17, 68T27
F.4.1; I.2.2; I.2.3; I.2.4
On-line přístup:https://arxiv.org/abs/2405.17072
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Internet

https://arxiv.org/abs/2405.17072

Podobné jednotky