Petr Hájek

Prof. RNDr. Petr Hájek, DrSc. Petr Hájek (; 6 February 1940 – 26 December 2016) was a Czech scientist in the area of mathematical logic and a professor of mathematics. Born in Prague, he worked at the Institute of Computer Science at the Academy of Sciences of the Czech Republic and as a lecturer at the faculty of mathematics and physics at the Charles University in Prague and at the Faculty of Nuclear Sciences and Physical Engineering of the Czech Technical University in Prague. Provided by Wikipedia
Showing 1 - 20 results of 44 for search 'Hájek, Petr', query time: 0.09s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Metamathematics of first-order arithmetic /

    Metamathematics of first-order arithmetic / by Hájek, Petr, Pudlák, Pavel, 1952-

    Published 2016
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Credit rating modelling by neural networks /

    Credit rating modelling by neural networks / by Hájek, Petr

    Published 2010
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Credit rating modelling by neural networks /

    Credit rating modelling by neural networks / by Hájek, Petr

    Published 2010
    Get full text
    Electronic eBook


    Saved in:
  4. 4
    Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /

    Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /

    Published 2017
    Other Authors: “…Hájek, Petr…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  5. 5
    Metamathematics of first-order arithmetic

    Metamathematics of first-order arithmetic by Hájek, Petr, Pudlák, Pavel 1952-

    Published 2016
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Smooth analysis in Banach spaces

    Smooth analysis in Banach spaces by Hájek, Petr 1940-, Johanis, Michal

    Published 2014
    Description
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Smooth analysis in Banach spaces

    Smooth analysis in Banach spaces by Hájek, Petr

    Published 2014
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  8. 8
    Smooth analysis in Banach spaces

    Smooth analysis in Banach spaces by Hájek, Petr, Johanis, Michal

    Published 2014
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Metamathematics of fuzzy logic

    Metamathematics of fuzzy logic by Hájek, Petr 1940-

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Metamathematics of first-order arithmetic

    Metamathematics of first-order arithmetic by Hájek, Petr 1940-, Pudlák, Pavel

    Published 1993
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Uncertain information processing in expert systems

    Uncertain information processing in expert systems by Hájek, Petr 1940-, Havránek, Tomáš, Jiroušek, Radim

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Uncertain information processing in expert systems

    Uncertain information processing in expert systems by Hájek, Petr 1940-, Havránek, Tomáš, Jiroušek, Radim

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Areál snů

    Areál snů by Hájek, Petr

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Halelujá!

    Halelujá! by Hájek, Petr

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Balada čislo jedna

    Balada čislo jedna by Hájek, Petr

    Published 1975
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    The theory of semisets

    The theory of semisets by Vopěnka, Petr, Hájek, Petr 1940-

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Credit rating modelling by neural networks

    Credit rating modelling by neural networks by Hajek, Petr

    Published 2010
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  18. 18
    Metamathematics of Fuzzy Logic

    Metamathematics of Fuzzy Logic by Hájek, Petr

    Published 1998

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  19. 19
    Metamathematics of first order arithmetic

    Metamathematics of first order arithmetic by Hájek, Petr 1940-, Pudlák, Pavel

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Svět je na rozvod

    Svět je na rozvod by Hájek, Petr

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: