Artificial Intelligence and Symbolic Computation [[electronic resource] ] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 206 p. 51 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Information storage and retrieval Mathematical logic Application software Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Information Storage and Retrieval Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-13770-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996211265103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / / edited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 206 p. 51 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer science—Mathematics
Artificial intelligence Information storage and retrieval Mathematical logic Application software Symbolic and Algebraic Manipulation Artificial Intelligence Math Applications in Computer Science Information Storage and Retrieval Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
ISBN | 3-319-13770-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910483954503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|