| Authors: | Kašterović, Simona Ghilezan, Silvia |
Title: | Probabilistic reasoning with lambda terms | Journal: | Book of Abstracts: Logics and Applications - LAP 2017 | Conference: | 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia | Issue Date: | Sep-2017 | Rank: | M34 | URL: | http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/LAP_2017_Book_of_Abstracts.pdf |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.