Petr Hájek
· 12 obras en el catálogo
Obras

Credit rating modelling by neural networks

Metamathematics of first-order arithmetic

Mechanizing hypothesis formation

Banach Space Theory

Smooth analysis in Banach spaces
Gödel '96
Logic Colloquium '98
Metamathematics of Fuzzy Logic
Handbook of mathematical fuzzy logic
Avtomaticheskoe obrazovanie gipotez
Cyber Security and Business Intelligence
