Výsledky vyhledávání
- 1.0403902 - UIVT-O 20000066 US eng G - Konferenční sborník (zahraniční konf.)
Buss, S.R. (ed.) - Hájek, Petr (ed.) - Pudlák, Pavel (ed.)
Logic Colloquium' 98. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic.
Natick: ASL, 2000. 541 s. Lecture Notes in Logic, 13. ISBN 1-56881-114-4.
[Logic Colloquium'98. Prague (CZ), 09.08.1998-15.08.1998]
Grant CEP: GA AV ČR IAA1030601
Výzkumný záměr: AV0Z1030915
Trvalý link: http://hdl.handle.net/11104/0124189 - 2.0403541 - UIVT-O 20000016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Hájek, Petr
Mathematical Fuzzy Logic - State of Art.
Logic Colloquium' 98 Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Natick: ASL, 2000 - (Buss, S.; Hájek, P.; Pudlák, P.), s. 197-205. Lecture Notes in Logic, 13. ISBN 1-56881-113-6.
[Logic Colloquium'98. Prague (CZ), 09.08.1998-15.08.1998]
Grant CEP: GA AV ČR IAA1030601
Výzkumný záměr: AV0Z1030915
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0123843 - 3.0174594 - MU-W 980166 RIV DD eng M - Část monografie knihy
Krajíček, Jan
Extensions of models of PV.
Logic Colloquium 95. Berlin: ASL/Springer, 1998 - (Ravve, E.), s. 104-114. Lecture Notes in Logic, 11
Grant CEP: GA AV ČR IAA1019602
Grant ostatní: US-Czechoslovak Science and technology Program(XX) č. 93025
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071600Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 1.1 MB Vydavatelský postprint vyžádat