Hájek, Petr
Hájek, Petr (1940- )
Hájek, Petr, 1940-2016
Petr Hájek (matematik) český logik a matematik
Hájek, Petr, fl. 1972
Petr Hájek český logik a matematik
VIAF ID: 83719882 ( Personal )
Permalink: http://viaf.org/viaf/83719882
Preferred Forms
-
-
- 100 1 _ ‡a Hájek, Petr
-
- 100 1 _ ‡a Hájek, Petr ‡d 1940-
- 100 1 _ ‡a Hájek, Petr, ‡d 1940-....
-
- 100 1 _ ‡a Hájek, Petr
-
-
-
-
-
-
- 100 1 _ ‡a Hájek, Petr ‡d 1940-2016
-
- 100 0 _ ‡a Petr Hájek (matematik) ‡c český logik a matematik
- 100 0 _ ‡a Petr Hájek ‡c český logik a matematik
4xx's: Alternate Name Forms (25)
Works
Title | Sources |
---|---|
Akademie věd České republiky, Ústav informatiky = Academy of Sciences of the Czech Republic, Institute of Computer Science, viewed May 12, 2014 | |
Analyse dans les espaces de Banach | |
Analytic and Ck approximations of norms in separable Banach spaces | |
Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obŝej teorii | |
Banach space theory : the basis for linear and nonlinear analysis | |
Biorthogonal systems in Banach spaces | |
Credit rating modelling by neural networks | |
Cyber security and business intelligence : innovations and machine learning for cyber risk management | |
Diameter 2 properties and convexity | |
The essentials of machine learning in finance and accounting | |
Etude des Espaces Lipschitz-libres | |
Functional Analysis and Infinite-Dimensional Geometry | |
Gödel '96, 1996: | |
Gödel '96 : logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy | |
Handbook of mathematical fuzzy logic. Volume 1 | |
Introduction to Banach spaces | |
Knowledge Spillovers in Regional Innovation Systems : A Case Study of CEE Regions | |
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 | |
Logic, methodology and philosophy of science : proceedings of the Twelfth International Congress | |
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings | |
Mechanizing hypothesis formation | |
Metamatematika aritmetiky prvního řádu | |
Metamathematics of first-order arithmetic | |
Metoda GUHA, 1983: | |
Modelování bonity obcí metodami výpočetní inteligence : teze disertační práce | |
On Lukasiewicz's four-valued modeal logic | |
On vagueness, truth values and fuzzy logics | |
Ontological proofs of existence and non-existence | |
Smooth analysis in Banach spaces, 2014: | |
Study of Lipschitz-free spaces. | |
The theory of semisets. | |
Uncertain information processing in expert systems | |
Úvod do umělé inteligence : klasická umělá inteligence : distanční opora |