Haku
Viitteet 1-1 / 1
Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity
(Tampere University Press, 2014)
Monografiaväitöskirja
Monografiaväitöskirja
Riippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen ...