D'Avila Garcez, Artur S.

Overview

Works:	5 works in 0 publications in 0 languages

Titles

Neural-symbolic cognitive reasoning by: SpringerLink (Online service); Gabbay, Dov M.; Lamb, Luis C.; D'Avila Garcez, Artur S. (Language materials, printed)

Subjects

Artificial intelligence. Artificial Intelligence (incl. Robotics) Computation by Abstract Devices. Computer Science. Logic. Mathematical Logic and Formal Languages. Neural networks (Computer science) Pattern Recognition. Theory of Computation.