Претрага




Резултати

Probabilistic reasoning about simply typed lambda terms   [2018]

Gilezan, Silvia K.  ; IVETIĆ, JELENA B.  ; KAŠTEROVIĆ, SIMONA Đ.  ; Ognjanović, Zoran D.  ; Nenad Savic

Филтери

По типу