TY - BOOK AU - Anshakov,Oleg M. AU - Gergely,Tamas ED - SpringerLink (Online service) TI - Cognitive reasoning: a formal approach SN - 9783540688754 (electronic bk.) AV - QA9 .A7 2010 U1 - 511.3 22 PY - 2010/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Logic, Symbolic and mathematical KW - Reasoning KW - Cognitive science KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Theory of Computation KW - Information Storage and Retrieval KW - Computers and Society KW - Mathematical Logic and Foundations KW - Numerical Analysis UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://link.springer.com/10.1007/978-3-540-68875-4 ER -