еНаука - преглед

Преглед према Аутор Pagani, Mikele

Приказ резултата 1 до 1 од 1
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2024Probabilistic reasoning in computation and simple type theoryProkić, SimonaДокторска дисертација
70M70 - Одбрањена докторска дисертација