Intelligent Information and Database Systems

Discover the cutting-edge insights in "Intelligent Information and Database Systems" by Ngọc Thanh Nguyễn, published by Springer International Publishing AG in 2017. This comprehensive two-volume set, consisting of LNAI 10191 and 10192, features the refereed proceedings from the prestigious 9th Asian Conference on Intelligent Information and Database Systems (ACIIDS 2017) held in Kanazawa, Japan. Spanning an impressive 827 pages, this first edition delves into vital topics such as Automated Reasoning and Proving Techniques, as well as Intelligent Computer Vision Systems and their applications. Perfect for researchers, practitioners, and students alike, this book serves as an invaluable resource for anyone looking to enhance their understanding of intelligent information systems. Enhance your library with this essential addition today!