Резултати
еНаука >
Резултати >
Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Назив: | Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X | Аутори: | Zunic, Dragisa | Година: | 2007 | Тип резултата: | Остало | URI: | https://enauka.gov.rs/handle/123456789/875152 | URL: | https://theses.hal.science/tel-00265549 | Извор метаподатака: | (Preuzeto iz ORCID-a) Žunić, Dragiša | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.