1.

電子ブック
ＥＢ
1. Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. 1st ed. 2020
edited by Sergei Artemov, Anil Nerode
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11972
オンライン: https://doi.org/10.1007/978-3-030-36755-8
2.

電子ブック
ＥＢ
2. Paraconsistency: Logic and Applications. 1st ed. 2013
edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
シリーズ名: Logic, Epistemology, and the Unity of Science ; 26
オンライン: https://doi.org/10.1007/978-94-007-4438-7
3.

電子ブック
ＥＢ
3. Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 298
オンライン: https://doi.org/10.1007/978-3-642-31715-6
4.

電子ブック
ＥＢ
4. Intelligent Information Processing VI : 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings. 1st ed. 2012
edited by Zhongzhi Shi, David Leake, Sunil Vadera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 385
オンライン: https://doi.org/10.1007/978-3-642-32891-6
5.

電子ブック
ＥＢ
5. Advances in Computational Intelligence, Part I : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 297
オンライン: https://doi.org/10.1007/978-3-642-31709-5
6.

電子ブック
ＥＢ
6. Incomplete Information System and Rough Set Theory : Models and Attribute Reductions. 1st ed. 2012
by Xibei Yang, Jingyu Yang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-25935-7
7.

電子ブック
ＥＢ
7. The NCL Natural Constraint Language. 1st ed. 2012
by Jianyang Zhou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-23845-1
8.

電子ブック
ＥＢ
8. Advances in Computational Intelligence, Part IV : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 300
オンライン: https://doi.org/10.1007/978-3-642-31724-8
9.

電子ブック
ＥＢ
9. Ontology Engineering in a Networked World. 1st ed. 2012
edited by Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Enrico Motta, Aldo Gangemi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-24794-1
10.

電子ブック
ＥＢ
10. Integration of World Knowledge for Natural Language Understanding. 1st ed. 2012
by Ekaterina Ovchinnikova
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2012
シリーズ名: Atlantis Thinking Machines ; 3
オンライン: https://doi.org/10.2991/978-94-91216-53-4