Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, ... Notes in Computer Science Book 10900)
This scholarly volume contains material from the 9th International Joint Conference on Automated Reasoning, held in Oxford, UK, in July 2018 as part of the Federated Logic Conference. Published in the Lecture Notes in Computer Science series, it offers a focused resource on automated reasoning and related logical research.
About This Book
This volume presents the proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018.
The conference was held in Oxford, UK, from July 14–17, 2018.
IJCAR 2018 took place as part of the Federated Logic Conference, FLoC 2018.
Published as volume 10900 in the Lecture Notes in Computer Science series, the book is intended for readers interested in automated reasoning, logic, and computer science research.
Reviews
No reviews yet. Be the first to review this book!