Automated Deduction - CADE 27: 27th Internatonal Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)
Taschenbuch
Details (Deutschland)
ISBN: 978-3-030-29435-9
ISBN-10: 3-030-29435-8
Springer · 13. Oktober 2019