Home Advanced Search

Advanced Search - Page 1

Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday

PDF
English
Year: 2004
Author: Petr Hájek (auth.), Wolfgang Lenski (eds.)

Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

PDF
English
Year: 1999
Author: Petr Hájek (auth.), Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

PDF
English
Year: 1978
Author: Petr Hájek, Tomáš Havránek (auth.)

Metamathematics of Fuzzy Logic (Trends in Logic, 4)

PDF
English
Year: 2001
Author: Petr Hájek

Engineering Applications of Neural Networks: 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 Proceedings, Part II

PDF
English
Year: 2013
Author: Petr Hájek, Vladimír Olej (auth.), Lazaros Iliadis, Harris Papadopoulos, Chrisina Jayne (eds.)

Artificial Neural Networks – ICANN 2010: 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I

PDF
English
Year: 2010
Author: Vladimír Olej, Petr Hájek (auth.), Konstantinos Diamantaras, Wlodek Duch, Lazaros S. Iliadis (eds.)

Mathematical Foundations of Computer Science 1995: 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings

DJVU
English
Year: 1995
Author: Micah Adler, John W. Byers, Richard M. Karp (auth.), Jiří Wiedermann, Petr Hájek (eds.)

Banach Space Theory: The Basis for Linear and Nonlinear Analysis

PDF
English
Year: 2011
Author: Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler (auth.)

Banach space theory: The basis for linear and nonlinear analysis

PDF
English
Year: 2011
Author: Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler (auth.)

Smooth Analysis in Banach Spaces

PDF
English
Year: 2014
Author: Petr Hájek, Michal Johanis