Page 26 - MATINF Nr. 6

26 D. Constantin

[6] A. Cichocki, R. Unbehauen, Neural Networks for Signal Processing and Optimization, Wiley,
1994.

[7] T.M. Cover, J.A. Thomas, Elements of Information Theory, Wiley, 1991.

[8] K.I. Diamantaras, S.Y. Kung, Principal Component Neural Networks: Theory and Applica-
tions, Wiley, 1996.

[9] H.D. Ebbinghauss, J. Flum, W. Thomas, Mathematical Logic, Springer Verlag, 1994.

[10] M. Fitting, First-Order Logic and Automated Theorem Proving, Springer Verlag, 1996.

[11] T. Foster, Logic, Computation and Set Theory, CRC Press, 2002.

[12] M. Gabbay, C.J. Hogger, J.A. Robinson, Handbook of Logic in Artificial Intelligence and
Logic Programming, Oxford University Press, 1998.

[13] J.H. Gallier, Logic for Computer Science: Foundations of Automatic Theorem Proving,
Harper&Row, 2003.

[14] W. Gardner, Introduction to Random Processes with Applications to Signal and Systems,
Macmillan, 1986.

[15] R. Gonzalez, P. Wintz, Digital Image Processing, Addison-Wisley, 1987.

[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.