Results
| Назив: | On a probabilization of intuitionistic sequent calculus | Аутори: | Boričić, Marija B.   |
Година: | 2017 | Публикација: | Sedma nacionalna konferencija 'Verovatnosne logike i njihove primene', knjiga apstrakata | Издавач: | Matematički institut SANU, Beograd, Srbija | Тип резултата: | Conference Paper | Колација: | str. 10-10 | URI: | https://enauka.gov.rs/handle/123456789/278828 | URL: | http://www.mi.sanu.ac.rs/novi_sajt/research/conferences/vlp2017.pdf | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.