Automated Deduction – CADE 26
Subtitle: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Publisher: Springer
Published: Aug 15, 2017
Format: paperback
Number of pages: 582
ISBN-13: 9783319630458
Notes: Source title: Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science)