Резултати
еНаука >
Резултати >
An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus
Назив: | An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus | Аутори: | Lutovac, Tatjana | Година: | 2012 | Публикација: | BCI 2012 | Тип резултата: | Конференцијски рад | Колација: | str. 64-69 | DOI: | 10.1145/2371316.2371329 | Scopus-ID: | 2-s2.0-84867391771 | URI: | https://enauka.gov.rs/handle/123456789/500997 http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/704006 |
Извор метаподатака: | Migracija | М-категорија: | Мп категорија ће бити приказана накнадно. |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.