Slika omota

Spremljeno u:
Bibliografski detalji
Glavni autori: Gheorghiu, Alexander, Docherty, Simon, Pym, David
Format: Preprint
Izdano: 2021
Teme:
Logic in Computer Science
Symbolic Computation
Logic
03B25 (Primary) 03D99, 68W68, 68Q68 (Secondary)
F.0; I.1; F.3
Online pristup:https://arxiv.org/abs/2103.02343
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Internet

https://arxiv.org/abs/2103.02343

Slični predmeti