Automated Reasoning
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
59.31
€
115.99 лв
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automate...