Преглед Математички факултет по теми "sequent calculus"
Приказ резултата 1-1 од 1
-
Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији / Probability sequent calculi and entropy based non-classical logics classification
(Универзитет у Београду, Математички факултет, 22-12-2016)