Computational intelligence :   theory and applications /  
ed. Bernd Reusch. 
 - Berlin :   Springer,   1997. 
 - xiii, 609 p. :  il. ;  24 cm. 
 - Lecture notes in computer science ;   v. 1226 LNCS ;   v. 1226 .
<br/><br/><label>ISBN: </label>3540628681 
<br/><br/><label>Descriptores--Materias: </label><br/>Deducción y prueba de teoremas.<br/>Deduction and theorem proving.<br/>Procesamiento de imágenes.<br/>Image processing.<br/>Ciencias físicas e ingeniería.<br/>Physical sciences and engineering.<br/>Lógica matemática-Computación.<br/>Mathematical logic-Computation.<br/>Modelos de computación.<br/>Models of computation.<br/>Inteligencia artificial.<br/>Artificial intelligence.<br/>Algoritmos no numéricos y problemas.<br/>Nonnumerical algorithms and problems.