A New Small Emendation of Gödel's Ontological Proof
HÁJEK, Petr. <em>A New Small Emendation of Gödel's Ontological Proof</em>. Prague: ITI Charles University, 2001. ITI Series, 2001-015.
HÁJEK, Petr. <em>A New Small Emendation of Gödel's Ontological Proof</em>. Prague: ITI Charles University, 2001. ITI Series, 2001-015.
KŮRKOVÁ, Věra, SANGUINETI, M. <em>Tight Bounds on Rates of Variable-Basis Approximation via Estimates of Covering Numbers</em>. Prague: ICS AS CR, 2001. Technical Report, V-865.
ŠÍMA, Jiří. <em>Training a Sigmoid Neuron is Hard</em>. Prague: ICS AS CR, 2001. Technical Report, V-835.
MATONOHA, Ctirad. Metody s lokálně omezeným krokem. In: HAKL, F., ed. <em>Doktorandský den '01</em>. Praha: Ústav informatiky AV ČR, 2001, s. 10-18. Technical Report, V-846.
KŮRKOVÁ, Věra, SANGUINETI, M. <em>Covering Numbers and Rates of Neural-Network Approximation</em>. Prague: ICS AS CR, 2001. Technical Report, V-830.
BODON, E., LUKŠAN, Ladislav, SPEDICATO, E. <em>Numerical Performance of ABS Codes for Nonlinear Least Squares</em>. Bergamo: Universita degli Studi di Bergamo, 2001. Technical Report, DMSIA 2001/27.
BODON, E., DEL POPOLO, A., LUKŠAN, Ladislav, SPEDICATO, E. <em>Numerical Performance of ABS Codes for Systems of Nonlinear Equations</em>. Bergamo: Universita degli Studi di Bergamo, 2001. Technical Report, DMSIA 2001/1.
HANIKOVÁ, Zuzana. Standard Algebras for Fuzzy Propositional Calculi. <em>Fuzzy Sets and Systems. </em> 2001, <b>124</b>(3), 309-320. ISSN 0165-0114. E-ISSN 1872-6801<br>Dostupné z: doi:10.1016/S0165-0114(01)00101-4
RYDVAN, Milan. Generalised Objective Functions for Multi-Layered Neural Networks with Genetic Training. In: HAKL, F., ed. <em>Doktorandský den '01</em>. Praha: Ústav informatiky AV ČR, 2001, s. 29-32. Technical Report, V-846.