Sborník : 4. konference studentů doktorského studia Fakulty financí a účetnictví

Autor: Hájek, Petr, 1940-2016 4. konference studentů doktorského studia Fakulty financí a účetnictví

Rok: 2003

Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998

Rok: 2000

Metamathematics of fuzzy logic

Autor: Hájek, Petr, 1940-2016
Rok: 1998

Logic colloquium '98 : the 1998 ASL European summer meeting, August 9-15, 1998, Prague, Czech Republic : book of abstracts

Rok: 1998

Metamathematics of fuzzy logic

Autor: Hájek, Petr, 1940-2016
Rok: 1998

Mathematics of first-order arithmetic

Autor: Hájek, Petr, 1940-2016, Pudlák, Pavel
Rok: 1998

Uncertain information processing in expert systems

Autor: Hájek, Petr, 1940-2016, Jiroušek, Radim, Havránek, Tomáš, 1947-1991
Rok: 1992

Avtomatičeskoje obrazovanije gipotez : matematičeskije osnovy obščej teorii

Autor: Hájek, Petr, 1940-2016, Havránek, Tomáš, 1947-1991
Rok: 1984

Metoda GUHA : automatická tvorba hypotéz

Autor: Hájek, Petr, 1940-2016, Chytil, Metoděj, Havránek, Tomáš, 1947-1991
Rok: 1983