I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Towards Probabilistic Reasoning in Type Theory - The Inters..:

, In: Lecture Notes in Computer Science; Foundations of Information and Knowledge Systems,
Ghilezan, Silvia ; Ivetić, Jelena ; Kašterović, Simona.. - p. 122-139 , 2020
Link: https://doi.org/10.1007/978-3-030-39951-1_8