| Authors: | Rašković, Miodrag Ognjanović, Zoran Petrović, Vladimir Majstorović, Uroš |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | An automated theorem prover for the probability logic LPP | First page: | 79 | Last page: | 83 | Conference: | A tribute to S. B. Prešić - papers celebrating his 65th birthday, Beograd 1998. | Editors: | Krapež, Aleksandar | Issue Date: | 2001 | Rank: | M63 | ISBN: | 86-80593-31-1 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.