VIAF

Virtual International Authority File

Search

Hájek, Petr, 1940- National Library of the Czech Republic National Library of Poland Sudoc [ABES], France NUKAT Center of Warsaw University Library German National Library

Hájek, Petr Library of Congress/NACO National and University Library in Zagreb National Library of Catalonia

Petr Hájek (matematik) český logik a matematik Wikidata ISNI

Hájek, Petr, fl.1972 National Library of the Netherlands

VIAF ID: 83719882 (Personal)

Permalink: http://viaf.org/viaf/83719882

ISNI: 0000  0001  1073  2596 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (15)

Open Section Close SectionWorks

Title Sources
Akademie věd České republiky, Ústav informatiky = Academy of Sciences of the Czech Republic, Institute of Computer Science, viewed May 12, 2014 Library of Congress/NACO
Analyse dans les espaces de Banach Sudoc [ABES], France
Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obŝej teorii Sudoc [ABES], France NUKAT Center of Warsaw University Library
Credit rating modelling by neural networks Library of Congress/NACO
Functional analysis and infinite-dimensional geometry Sudoc [ABES], France
Fuzzy logic and probability National Library of Catalonia
Gödel '96, 1996: Library of Congress/NACO
Handbook of mathematical fuzzy logic National Library of Catalonia
Introduction to Banach spaces Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Catalonia
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 Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Logic, methodology, and philosophy of science Sudoc [ABES], France National Library of the Netherlands
Logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy Library of Congress/NACO Sudoc [ABES], France German National Library
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings Library of Congress/NACO German National Library National Library of Catalonia Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands
Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory Library of Congress/NACO German National Library National Library of Catalonia xR Extended Titles National Library of the Czech Republic Sudoc [ABES], France NUKAT Center of Warsaw University Library
Metamatematika aritmetiky prvního řádu National Library of the Czech Republic
Metamathematics of first-order arithmetic Library of Congress/NACO National Library of the Czech Republic National Library of the Netherlands German National Library National Library of Catalonia Sudoc [ABES], France NUKAT Center of Warsaw University Library
Metoda GUHA : automatická tvorba hypotéz Library of Congress/NACO National Library of the Czech Republic NUKAT Center of Warsaw University Library
Modelování bonity obcí metodami výpočetní inteligence : teze disertační práce National Library of the Czech Republic
On convex functions in $c_0(\omega_1)$ National Library of Catalonia
On Lukasiewicz's four-valued modeal logic National Library of Catalonia
Ontological proofs of existence and non-Existence / Petr Hájek. W: Studia Logica : an international journal for symbolic logic. Vol. 90, nr 2 (2008). National Library of Poland
Smooth analysis in Banach spaces Library of Congress/NACO National and University Library in Zagreb German National Library National Library of Catalonia Sudoc [ABES], France NUKAT Center of Warsaw University Library
The Theory of semisets Library of Congress/NACO National Library of the Czech Republic National Library of the Netherlands National Library of Catalonia Sudoc [ABES], France NUKAT Center of Warsaw University Library
Uncertain information processing in expert systems Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Úvod do umělé inteligence : klasická umělá inteligence : distanční opora National Library of the Czech Republic

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (9)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:83719882 (16)