Резултати

еНаука >  Резултати >  Computational interpretation of classical logic with explicit structural rules
Назив: 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
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.