Search results
- 1.0403673 - UIVT-O 20030110 RIV CZ cze M - Monography Chapter
Hájek, Petr
Deduktivní systémy fuzzy logiky.
[Deductive Systems of Fuzzy Logic.]
Umělá inteligence 4. Praha: Academia, 2003 - (Mařík, V.; Štěpánková, O.; Lažanský, J.), s. 71-92. ISBN 80-200-1044-0
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * deduction * Lukasiewicz logic * Gödel logic * product logic * similarity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123971 - 2.0106919 - MU-W 20040126 RIV US eng M - Monography Chapter
Pruhs, K. - Torng, E. - Sgall, Jiří
Online scheduling.
[Online rozvrhování.]
Handbook of Scheduling: Algorithms, Models, and Performance Analysis. Kap. 15. Boca Raton: CRC Press, 2004, s. 1-41
R&D Projects: GA MŠMT ME 103; GA MŠMT ME 476; GA ČR GA201/01/1195; GA MŠMT LN00A056; GA AV ČR IAA1019901
Institutional research plan: CEZ:AV0Z1019905
Keywords : online algorithms * scheduling
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014091 - 3.0103380 - UIVT-O 20040121 RIV DE eng M - Monography Chapter
Hájek, Petr
A True Unprovable Formula of Fuzzy Predicate Logic.
[Pravdivá nedokazatelná formule fuzzy predikátové logiky.]
Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Berlin: Springer, 2004 - (Lenski, W.), s. 1-5. Lecture Notes in Computer Science, 3075. ISBN 3-540-22562-5
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * product logic * incompleteness * standard semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0010689