| Artificial General Intelligence |
- isbn : 978-3-642-39521-5
- pisbn : 978-3-642-39520-8
|
Fulltext
|
| Integrated Uncertainty in Knowledge Modelling and Decision Making |
- isbn : 978-3-642-39515-4
- pisbn : 978-3-642-39514-7
|
Fulltext
|
| Intelligent Computing Theories |
- isbn : 978-3-642-39479-9
- pisbn : 978-3-642-39478-2
|
Fulltext
|
| Web-Age Information Management |
- isbn : 978-3-642-39527-7
- pisbn : 978-3-642-39526-0
|
Fulltext
|
| Statistical Language and Speech Processing |
- isbn : 978-3-642-39593-2
- pisbn : 978-3-642-39592-5
|
Fulltext
|
| Software Composition |
- isbn : 978-3-642-39614-4
- pisbn : 978-3-642-39613-7
|
Fulltext
|
| Hardware and Software: Verification and Testing |
- isbn : 978-3-642-39611-3
- pisbn : 978-3-642-39610-6
|
Fulltext
|
| Interactive Theorem Proving |
- isbn : 978-3-642-39634-2
- pisbn : 978-3-642-39633-5
|
Fulltext
|
| Theory, Practice, and Applications of Rules on the Web |
- isbn : 978-3-642-39617-5
- pisbn : 978-3-642-39616-8
|
Fulltext
|
| Computational Science and Its Applications -- ICCSA 2013 |
- isbn : 978-3-642-39637-3
- pisbn : 978-3-642-39636-6
|
Fulltext
|