Automated Deduction – CADE 27
Subtitle: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Publisher: Springer
Published: Aug 21, 2019
Format: paperback
Number of pages: 605
ISBN-13: 9783030294359
Notes: Source title: Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science (11716))