Hájek, Petr, 1940-
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Hájek, Petr
Petr Hájek (matematik) český logik a matematik
Hájek, Petr, fl.1972
VIAF ID: 83719882 (Personal)
Permalink: http://viaf.org/viaf/83719882
ISNI: 0000 0001 1073 2596
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, ‡d fl.1972
-
100 1 _ ‡a Hájek, Petr
-
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, ‡d 1940-
-
100 0 _
‡a
Petr Hájek (matematik)
‡c
český logik a matematik
-
100 0 _
‡a
Petr Hájek (matematik)
‡c
český logik a matematik
4xx's: Alternate Name Forms (15)
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 |
|
| 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 |
|
| Functional analysis and infinite-dimensional geometry |
|
| Fuzzy logic and probability |
|
| Gödel '96, 1996: |
|
| Handbook of mathematical fuzzy logic |
|
| Introduction to Banach spaces |
|
| 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 |
|
| Logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy |
|
| Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings |
|
| Mechanizing hypothesis formation : mathematical foundations for a general theory |
|
| Metamatematika aritmetiky prvního řádu |
|
| Metamathematics of first-order arithmetic |
|
| Metoda GUHA : automatická tvorba hypotéz |
|
| Modelování bonity obcí metodami výpočetní inteligence : teze disertační práce |
|
| On convex functions in $c_0(\omega_1)$ |
|
| On Lukasiewicz's four-valued modeal logic |
|
| Ontological proofs of existence and non-Existence / Petr Hájek. W: Studia Logica : an international journal for symbolic logic. Vol. 90, nr 2 (2008). |
|
| Smooth analysis in Banach spaces, 2014: |
|
| The theory of semisets. |
|
| Uncertain information processing in expert systems |
|
| Úvod do umělé inteligence : klasická umělá inteligence : distanční opora |
|
