Search results
- 1.0403902 - UIVT-O 20000066 US eng G - Proceedings (international conference)
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]
R&D Projects: GA AV ČR IAA1030601
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124189 - 2.0402832 - UIVT-O 960151 DE eng G - Proceedings (international conference)
Hájek, Petr (ed.)
Gödel'96. Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy.
Berlin: Springer, 1996. 322 s. Lecture Notes in Logic, 6. ISBN 3-540-61434-6.
[Gödel'96. Brno (CZ), 25.08.1996-29.08.1996]
R&D Projects: GA AV ČR IAA130108
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128427&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0123208 - 3.0402581 - UIVT-O 950184 DE eng G - Proceedings (international conference)
Wiedermann, Jiří (ed.) - Hájek, Petr (ed.)
Mathematical Foundations of Computer Science 1995.
Berlin: Springer, 1995. 588 s. Lecture Notes in Computer Science, 969. ISBN 3-540-60246-1.
[MFCS'95. Prague (CR), 28.08.1995-01.09.1995]
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000128268&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0122982 - 4.0343619 - ÚI 2011 AT eng G - Proceedings (international conference)
Gottwald, S. (ed.) - Hájek, Petr (ed.) - Höhle, U. (ed.) - Klement, E.P. (ed.)
Fuzzy Logics and Related Structures.
Linz: Johannes Kepler Universität, 2005. 108 s.
[Linz Seminar on Fuzzy Set Theory /26./. Linz (AT), 01.02.2005-05.02.2005]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0186057File Download Size Commentary Version Access 343619-h.pdf 1 1.3 MB Publisher’s postprint require - 5.0042367 - ÚI 2007 ES eng G - Proceedings (international conference)
Gottwald, S. (ed.) - Hájek, Petr (ed.) - Ojeda-Aciego, M. (ed.)
The Logic of Soft Computing.
[Logika soft-počítání.]
Malaga: Universidad de Malaga, 2006. 194 s.
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. Malaga (ES), 13.09.2006-15.09.2006]
Institutional research plan: CEZ:AV0Z10300504
Keywords : soft computing * mathematical logic * inference under vagueness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135613