by SatoshiTojo (Editor), NgocThanhNguyen (Editor), Bogdan Trawi & #x 1 4 4 ;ski (Editor), Le Minh Nguyen (Editor)
The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Intelligent Computer Vision Systems and Applications;
Format: Paperback
Pages: 864
Edition: 1st ed. 2017
Publisher: Springer
Published: 23 Mar 2017
ISBN 10: 3319544713
ISBN 13: 9783319544717