Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110732596 | 1 hits
Person
ISNI: 
0000 0001 1073 2596
Name: 
Gaek, P.
Hájek, P.
Hájek, Peter
Hájek, Petr,
Dates: 
fl.1972
Creation class: 
article
cre
Language material
Text
txt
Creation role: 
author
editor
redactor
Related names: 
Československá akademie věd
Chytil, Metoděj
Habala, Petr (1968-)
Havránek, Tomáš (1947-1991)
Jiroušek, Radim
Johanis, Michal
Logic Colloquium '98 (1998 ; Praga)
Pudlák, Pavel (1952-)
Univerzita Pardubice. Ústav systémového inženýrství a informatiky
Vopěnka, Petr (1935-)
Zizler, Václav (1943-)
Titles: 
Akademie věd České republiky, Ústav informatiky
Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obŝej teorii
Biorthogonal systems in Banach spaces
Credit rating modelling by neural networks
Geometry and Gâteaux smoothness in separable Banach spaces
Gödel '96 : logical foundations of mathematics, computer science and physics - Kurt Gödel's Legacy ; Brno, Czech Republic, August 1996, proceedings
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 Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republik, 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
Mathematics of first-order arithmetic
Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory
Metamatemathics of first-order arithmetic
Metamatematika aritmetiky prvního řádu
Metamathematics of first-order arithmetic
Metamathematics of fuzzy logic
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
Smooth analysis in Banach spaces, 2014:
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 LC NKC NSK NTA NUKAT SUDOC WKP
TEL
ZETO