Anshakov, Oleg M.

Cognitive reasoning a formal approach / [electronic resource] : by Oleg M. Anshakov, Tamas Gergely. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - x, 437 p. : ill., digital ; 24 cm. - Cognitive technologies, 1611-2482 .

9783540688754 (electronic bk.) 9783540430582 (paper)


Logic, Symbolic and mathematical.
Reasoning.
Cognitive science.
Computer Science.
Artificial Intelligence (incl. Robotics)
Theory of Computation.
Information Storage and Retrieval.
Computers and Society.
Mathematical Logic and Foundations.
Numerical Analysis.

QA9 / .A7 2010

511.3