On applying stochastic problems in higher-order theories

Bibliographic Details
Main Authors:	Novitzká, Valerie (Author), Slodičák, Viliam, 1981- (Author)
Format:	Article
Language:	Slovak English
Subjects:	stochastické programovanie pravdepodobnostné programovanie lineárna logika

Similar Items