On optimizing proof search in linear logic by value iteration method

Bibliographic Details
Main Authors:	Novitzká, Valerie (Author), Verbová, Anita, 1982- (Author)
Format:	Article
Language:	Slovak English
Subjects:	lineárna logika iteračné metódy stochastické programovanie

Similar Items