TY  - BOOK
AU  - Aranda-Corral,Gonzalo A
AU  - Calmet,Jacques
AU  - Martín-Mateos,Francisco J
TI  - Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings 
SN  - 9783319137704
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Mathematical logic
KW  - Mathematics
KW  - Information Storage and Retrieval
KW  - Artificial intelligence
N1  - Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing
UR  - http://dx.doi.org/10.1007/978-3-319-13770-4
ER  -