by Le Minh Nguyen (Editor), Ngoc Thanh Nguyen (Editor), Satoshi Tojo (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: 872
Edition: 1st ed. 2017
Publisher: Springer
Published: 28 Feb 2017
ISBN 10: 3319544292
ISBN 13: 9783319544298