TY - BOOK AU - Garcez,Authur S d'Avila TI - Neural-symbolic gocnitive reasoning U1 - 006.32 PY - 2009/// CY - Heidelberg PB - Springer KW - Neural Networks KW - Computer Science KW - Artificial Intelligence KW - Optical Pattern Recognition N1 - Includes index ER -