Automated Deduction - CADE 27: 27th Internatonal Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science, Band 11716)

von Pascal Fontaine

Taschenbuch

ISBN: 978-3-030-29435-9

ISBN-10: 3-030-29435-8

Springer · 13. Oktober 2019