Резултати
еНаука >
Резултати >
Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics
| Назив: | Syntax aproach to extracting information about formulas and proofs during automated proof search in sequent calculi for some resource-sensitive logics | Аутори: | Lutovac, Tatjana A.   |
Година: | 2017 | Публикација: | Osmi simpozijum ..Matematika i primene'' | Издавач: | Matematicki fakultet Univerziteta u Beogradu i Srpska akademija nauka i umetnosti | Тип резултата: | Конференцијски рад | URI: | https://enauka.gov.rs/handle/123456789/140565 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.