Page 28 - MATINF Nr. 4

28 D. Constantin, A.F. S , tefan

[16] M. Girolami, Self-Organising Neural Networks - Independent Component Analysis and
Blind Source Separation, Springer Verlag, 1999.

[17] A. Hyv¨arinen, J. Karhunen, E. Oja, Independent Component Analysis, John Wiley, 2001.

[18] I.T. Jolliffe, Principal Component Analysis, Springer-Verlag New York, 2002.

[19] S. Kay, Modern Spectral Estimation: Theory and Application, Prentince Hall, 1988.

[20] T. Kohonen, Self-Organizing Maps, Springer, 1995.

[21] T.W. Lee, Independent Component Analysis - Theory and Applications, Kluwer, 1998.

[22] Z. Manna, R. Waldinger, J. Manna, The Logical Basis for Computer Programming: Deduc-
tive Reasoning, Addison-Wesley, 1991.

[23] E. Mendelson, Introduction to Mathematical Logic, Fourth Edition, CRC Press, 1997.

[24] A. Oppenheim, R. Schafer, Discrete-Time Signal Processing, Prentince Hall, 1989.

[25] S. Russell, P. Norvig, Artificial Intelligence. A Modern Approach, Prentice Hall, 1995.

[26] R.M. Smullyan, First-Order Logic, Dover Publications, 1995.
[27] L. State, Elemente de logica matematica s , i demonstrarea automata a teoremelor, Univ.
Bucures , ti, 1989.

[29] C. Therrien, Discrete Random Signals and Statistical Signal Processing, Prentince Hall,
1992.

[30] L. Zhongwan, Mathematical Logic for Computer Science, World Scientific Pub. Co., 1998.