Počet záznamů: 1
A ground many-valued type theory and its extensions
- 1.Běhounek, Libor
A ground many-valued type theory and its extensions.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 15-18
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
http://hdl.handle.net/11104/0233024
Počet záznamů: 1