d’Avila Garcez, Artur S.
Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Cognitive Technologies, 1611-2482 . - Cognitive Technologies, .
9783540732464
10.1007/978-3-540-73246-4 doi
Computer science.
Logic.
Information theory.
Artificial intelligence.
Optical pattern recognition.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computation by Abstract Devices.
Theory of Computation.
Logic.
Mathematical Logic and Formal Languages.
Pattern Recognition.
Q334-342 TJ210.2-211.495
006.3
Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Cognitive Technologies, 1611-2482 . - Cognitive Technologies, .
9783540732464
10.1007/978-3-540-73246-4 doi
Computer science.
Logic.
Information theory.
Artificial intelligence.
Optical pattern recognition.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computation by Abstract Devices.
Theory of Computation.
Logic.
Mathematical Logic and Formal Languages.
Pattern Recognition.
Q334-342 TJ210.2-211.495
006.3