Artificial Intelligence and Symbolic Computation (Record no. 53723)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03287nam a22005895i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-13770-4 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421111159.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 141208s2014 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319137704 |
| -- | 978-3-319-13770-4 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.131 |
| 245 10 - TITLE STATEMENT | |
| Title | Artificial Intelligence and Symbolic Computation |
| Sub Title | 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | X, 206 p. 51 illus. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Mathematics. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Aranda-Corral, Gonzalo A. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Calmet, Jacques. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Mart�in-Mateos, Francisco J. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-13770-4 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2014. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Information storage and retrieval. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Symbolic and Algebraic Manipulation. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Math Applications in Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Information Storage and Retrieval. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Logic and Formal Languages. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Information Systems Applications (incl. Internet). |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.