Automated Deduction CADE 27 27th International Conference on Automated Deduction Natal Brazil August 27 30 2019 Proceedings Pascal Fontaine

Original price was: $50.00.Current price is: $25.00.

Automated Deduction CADE 27 27th International Conference on Automated Deduction Natal Brazil August 27 30 2019 Proceedings Pascal Fontaine Digital Instant Download

Author(s): Pascal Fontaine
ISBN(s): 9783030294359, 9783030294366, 3030294358, 3030294366
Edition: 1st ed. 2019
File Details: PDF, 18.31 MB
Year: 2019
Language: English
SKU: EB-10799932 Category: Tag: