Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000110732596 | 1 hits
Person
ISNI: 
0000 0001 1073 2596
Name: 
Gaek, P.
Hájek-Havránek
Hájek, P.
Hájek, Peter
Hájek, Petr,
Dates: 
fl.1972
Creation class: 
article
Computer file
cre
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Československá akademie věd
Chytil, Metoděj
Fabian, Marian
Habala, Petr
Havránek, Tomáš
Jiroušek, Radim
Johanis, Michal
Logic Colloquium '98 (1998 ; Praga)
Pudlák, Pavel
Vopěnka, Petr (1935- ))
Zizler, Václav
Titles: 
Akademie věd České republiky, Ústav informatiky
Analyse dans les espaces de Banach
Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obŝej teorii
Credit rating modelling by neural networks
Functional analysis and infinite-dimensional geometry
Fuzzy logic and probability
Gödel'96 : logical foundations of mathematics, computer science and physics- Kurt Gödel's Legacy : Bruno, Czech Republic, August 1996, Proceedings
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
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
Municipal credit rating modelling by neural networks
On convex functions in $c_0(\omega_1)$
On Lukasiewicz's four-valued modeal logic
Smooth analysis in Banach spaces
theory of semisets, The
Uncertain information processing in expert systems
Úvod do umělé inteligence : klasická umělá inteligence : distanční opora
Contributed to or performed: 
DECISION SUPPORT SYSTEMS
Notes: 
Odkazy na lit
Přehl. lit
Rozmn
Zkr
datum schválení: 19900503
ČVO: 11-01-9
Doktor. dis
autoreferát - datum: 1988
autoreferát - rozsah: 25 s
datum obhajoby: 19900322
Sources: 
VIAF BNC DNB LC NKC NSK NTA NUKAT SUDOC WKP
TEL
ZETO