Hájek, Petr (1940-....) Amélioration Assistance
057090432
Notice de type Personne

Forme retenue

Hájek, Petr (1940-....)

Forme rejetée

Hájek, Peter
[Nom de personne]

Information

Langue d'expression : tchèque , anglais

Source

LC authorities (en ligne), 16-12-2002


Mathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák, 1993


http://id.loc.gov/authorities/names/n84154773, 2017-06-14

Information trouvée :Hájek, Petr. Forme rejetée : Hájek, Peter. Naissance : 1940. Mathematician, Professor. Akademie věd České republiky, Ústav informatiky = Academy of Sciences of the Czech Republic, Institute of Computer Science


http://www.cs.cas.cz/hajek/, 2017-06-14

Information trouvée :Hájek Petr. Naissance : 1940-02-06. Mathématicien. Institute of computer science, Academy of science of the Czech Republic, Prague

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Autres identifiants

Notices bibliographiques liées :4 rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 10 )
340 Editeur scientifique ( 7 )
727 Directeur de thèse ( 1 )



Code de fonction non reconnu :

Rôles ?



022399992 : Uncertain information processing in expert systems / editors, Petr Hájek, Tomáš Havránek, Radim Jiroušek / Boca Raton : CRC Press , 1992



Auteur :

Rôles ?



004716035 : The theory of semisets / Petr Vopěnka,... and Petr Hájek,... / Amsterdam : North-Holland , 1972

018793428 : Mechanizing hypothesis formation [Texte imprimé] : mathematical foundations for a general theory / P. Hájek, T. Havránek / Berlin : Springer-Verlag , 1978

020353510 : Avtomaticheskoe obrazovanie gipotez : matematicheskie osnovy obshcheĭ teorii / P. Gaek, T. Gavranek ; perevod s angliĭskogo V.K. Finna ... et al. ; pod redakt︠s︡ieĭ L.A. Pospelova / Moskva : "Nauka", Glav. red. fiziko-matematicheskoĭ literatury , 1984

014355108 : Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák / Berlin : Springer-Verlag , 1993

123722071 : Biorthogonal Systems in Banach Spaces / Petr Hájek, Vicente Montesinos Santalucía, Jon Vanderwerff... [et al.] / New York, NY : Springer New York , 2008

15158639X : Banach space theory : the basis for linear and nonlinear analysis / Marián Fabian, Petr Habala, Petr Hájek, [et al.] / New York, NY : Springer Science+Business Media, LLC , 2011

120285568 : Biorthogonal systems in Banach spaces [Texte imprimé] / Petr Hájek, Vicente Montesinos Santalucía, Jon Vanderwerff... [et al.] / New York : Springer , cop. 2008

150346352 : Banach space theory [Texte imprimé] : the basis for linear and nonlinear analysis / Marian Fabian, Petr Habala, Petr Hajek,... [et al.] / New York : Springer , cop. 2011

181568616 : Smooth analysis in Banach spaces / Petr Hájek, Michal Johanis / Berlin : De Gruyter , cop. 2014

131526472 : Introduction to Banach spaces [Texte imprimé] / by Petr Habala, Petr Hájek and Václav Zizler / Prague : Matfyzpress, vydavatelství Matematicko-fyzikální fakulty Univerzity Karlovy , cop.1996



Editeur scientifique :

Rôles ?



155220586 : Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings / edited by Jiří Wiedermann, Petr Hájek. / Berlin, Heidelberg : Springer-Verlag , 2005

086759752 : Gödel '96 [Texte imprimé] : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno [sic.], Czech Republic, August 1996, proceedings / Petr Hájek (Ed.) / Berlin : Springer , Cop. 1996

11638171X : Gödel '96 [Texte imprimé] : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy / edited by Petr Hájek, ... / Urbana (Ill.) : Association for symbolic logic , [impr. 2001], cop. 1996

024404594 : Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / Jiří Wiedermann, Petr Hájek, eds / Berlin : Springer , c1995

075360144 : Functional analysis and infinite-dimensional geometry [Texte imprimé] / Marian Fabian, Petr Habala, Petr Hajek... [et al.] / New York : Springer , cop. 2001

142932108 : Logic, methodology and philosophy of science [Texte imprimé] / edited by Petr Hájek, Luis Valdés-Villanueva, Dag Westerståhl / London : King's College publ. , cop. 2005

116116048 : Logic colloquium '98 [Texte imprimé] : proceedings of the annual European summer meeting of the Association for symbolic logic, held in Prague, Czech Republic, August 9-15, 1998 / Edited by Samuel R. Buss,... Petr Hájek,... Pavel Pudlák,... / Urbana, Ill. : Association for symbolic logic



Directeur de thèse :

Rôles ?



135484391 : Analyse dans les espaces de Banach / Antonín Procházka ; sous la direction de Robert Deville et de Petr Hájek / , 2009


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance