Results

еНаука >  Резултати >  On a probabilization of intuitionistic sequent calculus
Назив: 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

Find the DOI


Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.