Results
| Title: | On a probabilization of intuitionistic sequent calculus | Authors: | Boričić, Marija B.   |
Issue Date: | 2017 | Publication: | Sedma nacionalna konferencija 'Verovatnosne logike i njihove primene', knjiga apstrakata | Publisher: | Matematički institut SANU, Beograd, Srbija | Type: | Conference Paper | Collation: | 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.