D'Avila Garcez, Artur S.

Overview

Works:	2 works in 0 publications in 0 languages

Titles

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

Subjects

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