Резултати
Назив: | Computational interpretation of classical logic with explicit structural rules | Аутори: | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Година: | 2012 | Тип резултата: | Остало | Колација: | str. 47 | URI: | https://enauka.gov.rs/handle/123456789/852733 | URL: | https://ens-lyon.hal.science/ensl-00681296 | Извор метаподатака: | (Preuzeto iz ORCID-a) Žunić, Dragiša | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.