DC FieldValueLanguage
dc.contributor.authorRašković, Miodrag-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorPetrović, Vladimir-
dc.contributor.authorMajstorović, Uroš-
dc.contributor.editorKrapež, Aleksandar-
dc.date.accessioned2020-06-15T15:24:30Z-
dc.date.available2020-06-15T15:24:30Z-
dc.date.issued2001-
dc.identifier.isbn86-80593-31-1-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3092-
dc.titleAn automated theorem prover for the probability logic LPP-
dc.typeConference Paper-
dc.relation.conferenceA tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998.-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage79-
dc.relation.lastpage83-
dc.description.rankM63-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

48
checked on May 9, 2024

Google ScholarTM

Check

Altmetric


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