Results

eNauka >  Results >  An automated theorem prover for the probability logic LPP
Title: An automated theorem prover for the probability logic LPP
Authors: Rašković, Miodrag; Ognjanović, Zoran  ; Petrović, Vladimir; Majstorović, Uroš
Editors: Krapež, Aleksandar  
Issue Date: 2001
Type: Conference Paper
ISBN: 86-80593-31-1 Search Idenfier
Collation: str. 79-83
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/3092
https://enauka.gov.rs/handle/123456789/579574
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.